000 00440nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540448617
100 _aAustin Melton
245 0 _aMathematical Foundation of Programming Semantics
250 _a1986
260 _bSpringer Berlin Heidelberg
_c1986
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-16816-8
999 _c26915
_d26915