000 004430000a22001570004500
245 _aHandbook of theoretical computer science vol.B : formal models and semantics
100 _aLeeuwen, Jan Van, ed.
260 _aAmsterdam
_bElsevier
_c1990
300 _axiv, 1273p.
020 _a0444880747
080 _a004.42(02)
_bH3
650 _aCOMPUTER SCIENCE-HANDBOOK
650 _aHANDBOOKS-COMPUTER SCIENCE
041 _aEN
942 _cBK
999 _c60245
_d60245