TY  - GEN
AU  - Boyer. R.S
AU  - Moore, Strother J.ed
TI  - The correctness problem in computer science
T2  - International Lecture Series in Computer Science
SN  - 0121229203
U1  - 004 
PY  - 1981///
CY  - New York
PB  - Academic Press
KW  - computer science
KW  - COMPUTING
ER  -