001.6425
A549P
           Anderson, Robert B
               Proving programs correct \ Robert B Anderson - New York : John Wiley, 1979.
               viii, 184p: ill
                ISBN: 0-471-03395-2
                Subjects: Computer programs-Testing; Debugging in Computer science.