TY  - BOOK
AU  - DILLER , ANTONI
TI  - AN INTRODUCTION TO FORMAL METHODS
SN  - 047192489X
U1  - 005.12 
PB  - NEW YORK : JOHN WILEY
KW  - FORMAL METHODS
ER  -