TY  - BOOK
AU  - DILLER
ED  - NO
TI  - Z AN INTRODUCTION FO FORMAL METHODS
SN  - 9780471939733
U1  - 005.12 DIL 
PY  - 1994///
PB  - WILEY
ER  -