@BOOK{ Book!D - 95026939,
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 : proceedings",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان",
SUBJECT = "Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics",
URL = "/book/95026939/Mathematics-of-program-construction-second-inter/"}