The Correctness problem in computer science
Boyer, Robert S.
Moore, J. Strother.
London Academic Press
1981
Includes bibliographies and index
Computer programs