TY  - BOOK
AU  - WINSKEL,  G.
TI  - THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES:AN INTRODUCTION
SN  - 0000262731037
U1  - 005.131 
PB  - LONDON : ENGLAND
KW  - PROGRAMMING LANGUAGES :
ER  -