TY  - BOOK
AU  - Berg,H.K & Othres
TI  - Formal methods of program verification and specification
SN  - 0133288072
U1  - 621.381952 
PY  - 1982///
CY  - U.S.A.
PB  - Prentice-Hall
ER  -