Proofs, program correctness, and software engineering

[1]  Karel Culík,et al.  On formal and informal proofs for program correctness , 1983, SIGP.

[2]  G. H. Merrill.  Formalization, possible worlds and the foundations of modal logic , 1978 .

[3]  Peter C. Poole.  Debugging and Testing , 1972, Advanced Course: Software Engineering.

[4]  George Boolos,et al.  Computability and logic , 1974 .

[5]  John R. Thompson.  The use and abuse of formal proofs , 1983, SIGP.

[6]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.