The correctness problem in computer science - Boyer, R. S.; Moore, Strother J. (London : Academic Press, 1981)
Includes bibliographical references and index
Keywords: Computer programs -- Correctness