TY  - BOOK
AU  - Bakker, Jaco de
TI  - Mathematical theory of program correctness
U1  - 001.642 
PY  - 1980///
CY  - Englewood Cliffs, New Jersey
PB  - Prentice-Hall
KW  - Computer Programs -- Correctness
KW  - Logic, Symbolic And Mathematical
N1  - Bibliography : P. 477-490
ER  -