TY  - BOOK
AU  - Dowek, Gilles.
AU  - Levy, Jean-Jacques., jt. auth.
TI  - Introduction to the theory of programming languages
SN  - 9780857290755
U1  - 005.13 DOW-G 
PY  - 2011///
CY  - London
PB  - Springer
KW  - Programming languages (Electronic computers) --Semantics
KW  - Programming languages (Electronic computers)ﾠ
N1  - Undergraduate topics in computer science
ER  -