TY  - BOOK
AU  - Winskel, Glynn
TI  - Formal semantics of programming languages: an introduction
SN  - 9780262731034
CY  - Cambridge
KW  - Programming languages - semantics
ER  -