@BOOK{ Book!D - 103404615,
AUTHOR = "/ Philippe Audebaud, Christine Paulin-Mohring (eds.)",
TITLE = "Mathematics of program constructio",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران",
SUBJECT = "Computer programming--Congresses,Computer science--Mathematics--Congresses,Electronic books.",
URL = "/book/103404615/Mathematics-of-program-constructio/"}