TY  - BOOK
AU  - Bakker Jaco de
TI  - Mathematical theory of program correctness
U1  - 005.14 
PY  - 1980///
CY  - N J
PB  - Prentice Hall International
KW  - Assembly language
KW  - Programme correctness
KW  - Programming techniques
ER  -