TY  - BOOK
AU  - Berg , H.K. .
TI  - FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION / 
SN  - 0-13-328807-2 
U1  - Bv  
CY  - New Jersey  : 
PB  - Prentice-Hall .
ER  -