@BOOK{ Book!D - 101373273,
AUTHOR = "edited by Austin Melton",
TITLE = "Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming",
URL = "/book/101373273/Mathematical-foundations-of-programming-semantics/"}