000 00471 a2200157 4500
082 _a001.642
_bC833
100 _aRustin, Randall
245 1 _aFORMAL SEMANTICS OF PROGRAMMING LANGUAGES
260 _aEnglewood Cliffs, N. J.
_bPrentice-Hall
_c1972
300 _a248
440 _aPrentice-Hall Series In Automatic Computation
_v
650 _aProgramming Languages (Electronic Computers) -- Congresses
650 _aSemantics
964 _gCIRC
997 _aA33452 C
999 _c461139
_d461139