1. Provably correct designs: An issue in control software development;Boriani,1994
2. Program Construction and Verification;Backhouse,1986
3. Formal Methods of Program Verification and Specification;Berg,1982
4. Algorithms: The Construction, Proof, and Analysis of Programs;Berlioux,1986
5. A Discipline of Programming;Dijkstra,1976