@BOOK{ Book!D - 101493995,
AUTHOR = "/ Gilles Dowek, Jean-Jacques Laevy",
TITLE = "Introduction to the theory of programming languages",
LIBRARY= "كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين",
SUBJECT = "Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics",
URL = "/book/101493995/Introduction-to-the-theory-of-programming-language/"}