TY  - BOOK
AU  - Loeckx, Jacques
AU  - Sieber, Kurt
TI  - Foundations of program verification
U1  - 001.6424 
PY  - 1984///
CY  - Chichester, New York
PB  - John Wiley
KW  - Computer Programs
N1  - Bibliography : P. 222-226
ER  -