TY  - BOOK
AU  - Dowek, Gilles
AU  - Levy, Jean-Jacques
TI  - Introduction to the theory of programming languages
SN  - 9780857290755
CY  - New york
ER  -