TY  - BOOK
AU  - Leeuwen, Jan Van
TI  - HANDBOOK OF THEORETICAL COMPUTER SCIENCE
SN  - 0444880755 (SET)
U1  - 001.6 
PY  - 1990///
CY  - Amsterdam
PB  - Elsevier
KW  - Computer Science
N1  - Contents: V.A. Algorithms And Complety. -- V.B. Formal Models And Semantics
ER  -