@BOOK{ Book!D - 101373408,
AUTHOR = "J.L.A. van de Snepscheut )ed.(",
TITLE = "Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer programming,Congresses ، Computer science -- Mathematics",
URL = "/book/101373408/Mathematics-of-program-construction-375th-Annive/"}