TY  - GEN
AU  - Leeuwen, Jan Van, ed.
TI  - Handbook of theoretical computer science vol.B : formal models and semantics
SN  - 0444880747
PY  - 1990///
CY  - Amsterdam
PB  - Elsevier
KW  - COMPUTER SCIENCE-HANDBOOK
KW  - HANDBOOKS-COMPUTER SCIENCE
ER  -