TY  - BOOK
AU  - Boyer, R. S.
AU  - Moore, Strother J.
TI  - The correctness problem in computer science
SN  - 0121229203
PY  - 1981///
CY  - London
PB  - Academic Press
KW  - Computer programs
KW  - Correctness
N1  - Includes bibliographical references and index
ER  -