TY  - BOOK
AU  - Winskel Glynn
TI  - Formal semantics of programming languages : an introduction
U1  - 005.13 
PY  - 1993///
CY  - Cambridge
PB  - M I T Press
KW  - Programming language
KW  - Semantics
ER  -