TY  - BOOK
AU  - WINSKEL,GLYNN
TI  - THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES: AN INTRODUCTION
SN  - 978-0-2622-3169-5
AV  - QA 76.9 .W56 1993  
PY  - 1993///
CY  - CAMBRIDGE
PB  - THE MIT PRESS
KW  - PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)- SEMANTICS
N1  - INCLUDES BIBLIOGRAPHICAL REFERENCES AND INDEXES
ER  -