TY  - BOOK
AU  - Loeckx, Jacques,
TI  - The foundations of program verification
SN  - 0471912824
U1  - 005.14 
PY  - 1987///
CY  - Stuttgart
PB  - B. G. Teubner
KW  - Computer programs
ER  -