@BOOK{ Book!D - 101372414,
AUTHOR = "edited by D. Bjorner",
TITLE = "Abstract software specifications : 1979 Copenhagen Winter school : proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer programming",
URL = "/book/101372414/Abstract-software-specifications-1979-Copenhagen/"}