TY  - BOOK
AU  - Winskel, Glynn
TI  - The formal semantics of programming languages
SN  - 0 262 73103 7
CY  - USA
ER  -