000 00413nam a2200169 4500
008 160616s1993 000 0
245 _aThe formal semantics of programming languages
100 _aWinskel, Glynn
260 _aUSA
260 _bMIT Press
260 _c1993
300 _a361
440 _aFoundations of computing
020 _a0 262 73103 7
942 _cBK
_2BK18171
080 _a681.3 WIN
999 _c18171
_d18171