TY  - BOOK
TI  - Program verification
SN  - 0 201 41608 5
U1  - 005.14 FRA 
PY  - 1992///
CY  - Workingham
PB  - Addison-Wesley
KW  -  
ER  -