TY  - BOOK
AU  - Berg H K
AU  -  Boebert W E
AU  -  Franta W R
AU  -  Mohert T G
TI  - Formal methods of program verification and specification
U1  - D65,8(B)92, M2 
PY  - 1982///
CY  - New Jersey
PB  -  Prentice Hall       
KW  -  Management information systems
KW  - Computer science
ER  -