000 00383nam a2200133 4500
008 160616s 000 0
245 _aMathematical foundations of programming semantics,proceedings, 1985
100 _aMelton, A., Ed.
260 _aBerlin
260 _bSpringer-Verlag
440 _aLecture notes in computer science ; 00239
942 _cBK
_2BK7226
080 _a681 LNCS
999 _c7226
_d7226