%0 Book
%A / Gilles Dowek, Jean-Jacques Laevy
%T Introduction to the theory of programming languages
%U /book/101493995/Introduction-to-the-theory-of-programming-language/