TY  - BOOK
AU  - Boyer R S
AU  - Moore J S eds
TI  - Correctness problem in computer science
U1  - 005.14 
PY  - 1981///
CY  - London
PB  - Academic Press
KW  - Computer science
ER  -