TY  - BOOK
AU  -  Chris Casey
TI  - A Programming Approach To Formal Methods
SN  - 9780077079680
U1  - 005.3 CAS 
PY  - 1994///
PB  -  Mcgraw-Hill International (Uk) Limited
ER  -