PROVING PROGRAMMS CORRECT - Anderson, Robert Brockett (New York John Wiley, 1979)
Bibliography : P. 170-182
Keywords: Computer Programs -- Testing; Debugging In Computer Science