@BOOK{ Book!D - 103433237,
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/103433237/Introduction-to-the-theory-of-programming-language/"}