TY  - BOOK
AU  - DILLER
TI  - Z AN INTRODUCTION FO FORMAL METHODS
SN  - 9.78E+12
U1  - 005.12 DIL 
PB  - JOHN WILEY AND SONS
ER  -