TY  - GEN
AU  - Jaco De BaKker
TI  - Mathematical Theory of Program Correctness
PY  - 0000///19-?
ER  -