TY  - BOOK
AU  - Dahl Ole-Johan
TI  - Verifiable programming
T2  - Prentice hall international series in computer science
U1  - D65,8(B)92:b6, N2 
PY  - 1992///
CY  - New York    
PB  -  Prentice Hall       
KW  -  Computer programming language
KW  - Computer science
ER  -