TY  - BOOK
AU  - Boyer, R.S., ed.
AU  - Moore, Strother J., ed.
TI  - Correctness problem in computer science
T2  - International lecture series in computer science
SN  - 0121229203
U1  - 001.642 
PY  - 1981///
CY  - London
PB  - Academic Press
ER  -