@BOOK{ Book!D - 101373716,
AUTHOR = "R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(",
TITLE = "Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer programming,Congresses ، Computer science -- Mathematics",
URL = "/book/101373716/Mathematics-of-program-construction-Second-Inter/"}