@BOOK{ Book!D - 72137675,
AUTHOR = "",
TITLE = "Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Electronic digital Computers-- Programming-- Congresses",
URL = "/book/72137675/Abstract-software-specifications-1979-Copenhagen/"}