TY  - BOOK
AU  - Van Leeuwen, Jan.
TI  - Formal models and semantics
SN  - 0444880755 (Set)
PY  - 1990///
CY  - Amsterdam
PB  - Elsevier
KW  - Computer science
N1  - Recommended text : MA488/ MAP467 (Maths & Computer Science)
ER  -