000 00759nam a2200277Ia 4500
003 OSt
005 20220912150435.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a41096
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B)92, M5
100 _aNivat Maurice Ed.
245 0 _aAlgebraic methods in semantics
260 _aCambridge
_bCUP
_c1985
300 _axv, 634p.
_ccm.
500 _aBibliography 634p
650 _a Computer program language
650 _aComputer science
700 _a Reynolds John C Ed.
942 _hD65,8(B)92, M5
_cTEXL
_2CC
999 _c47359
_d47359