TY  - GEN
AU  - Anderson,R.B.
TI  - Proving programs correct
PY  - 1979///
CY  - New York
PB  - John Wiley
KW  - Programs
ER  -