Proving programs correct - Anderson, Robert Brockett, 1941-. (New York : Wiley, 1979)
Includes index.
Bibliography: p. 170-182.
Keywords: Computer programs -- Testing; Debugging in computer science