TY  - BOOK
AU  - HINCHEY, M.G.:BOWEN, J.P.
TI  - APPLICATIONS OF FORMAL METHODS
SN  - 0000133669491
U1  - 005.1 
PB  - PRENTICE HALL : NEWYORK
KW  - FORMAL METHODS
ER  -