TY  - BOOK
AU  - Winskel,Glynn
TI  - THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
SN  - 0262231697
U1  - 005.131 
PY  - 1993///
CY  - 
PB  - Mit Press, Cambridge
KW  - Programming Languages (Electronic Computers) -- Semantics
N1  - Includes Bibliographical References And Index
ER  -