TY  - BOOK
AU  - Woodcock, Jim 
AU  -  Martin Loomes
TI  - Software Engineering Mathematics: Formal Methods Demystified
SN  - 0273026739 
U1  - 004.0151 
PY  - 1988///
CY  - London
PB  - Pitman
ER  -