@BOOK{ Book!D - 100980909,
AUTHOR = "/ Robert Milne and Christopher Strachey",
TITLE = "A theory of programming language semantics",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Programming languages (Electronic computers) -- Semantics",
URL = "/book/100980909/A-theory-of-programming-language-semantics/"}