TY  - BOOK
AU  - Winskel,Glynn
TI  - The Formal Semantics of Programming Language: An Introduction
SN  - 9780262231695
U1  - 005.13 
CY  - USA
ER  -