TY  - BOOK
AU  - LEEUWEN,JAN VAN (ED)
TI  - HANDBOOK OF THEORETICAL COMPUTER SCIENCE,VOL.B: FORMAL MODELS AND SEMANTICS
SN  - NCST
U1  - 724 
PY  - 1990///
CY  - MASSACHUSETTS
PB  - ELSEV
N1  - SC-48
ER  -