TY  - BOOK
AU  - Anderson R B
TI  - Proving programs correct
SN  - 0-471-03395-2
U1  - 005.14 
PY  - 1979///
CY  - N Y
PB  - John Wiley
KW  - Assembly language
KW  - Programming techniques
ER  -