000
00318nam a2200109 4500
008
160616s 000 0
245
_a
Handbook of theoretical computer science, B : Formal models and semantics
100
_a
Leeuwen, Jan Van., Ed.
500
_a
D6,8(B)k N0.2
942
_c
BK
_2
BK7170
080
_a
681.3(02) LEE
999
_c
7170
_d
7170