TY  - BOOK
AU  - Leeuwen, J. van
TI  - Handbook of theoretical computer science
SN  - 0444880747 (Volume B)
AV  - QA 76 H279.1990
U1  - 004 20
PY  - 1990///
CY  - Amsterdam, New York, Cambridge, Mass.
PB  - Elsevier, MIT
KW  - Computación
N1  - Incluye referencias e índices; Contenido: v. B. Formal models and semantics
ER  -