000 00755nam a2200277Ia 4500
003 OSt
005 20220912144957.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a74163
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B), M7
100 _aBenninghofen B
245 0 _aSystem of reductions
260 _aBerlin
_bSpringer-verlag
_c1987
300 _avii,263p.
_ccm.
490 _aLecture notes in computer science; 277
650 _aComputer programming
700 _a Kemmerich S
700 _a Richter M M
942 _hD65,8(B), M7
_cTEXL
_2CC
999 _c20009
_d20009