000 00318nam a2200109 4500
008 160616s 000 0
245 _aHandbook of theoretical computer science, B : Formal models and semantics
100 _aLeeuwen, Jan Van., Ed.
500 _aD6,8(B)k N0.2
942 _cBK
_2BK7170
080 _a681.3(02) LEE
999 _c7170
_d7170