Proving programs correct - Anderson, Robert B (New York John Wiley, 1979)
Keywords: Computer programs-Testing; Debugging in Computer science