[1] Zohar Manna, Mathematical Theory of Computation, McGraw-Hill, 1974.
[2] Shmuel Katz, Zohar Manna, Logical analysis of programs, Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, 1976.
[3] Torben Amtoft, Lecture Notes on Program Verification, Department of Computing and Information Sciences, Kansas State University, 2004.
[4] Kenneth M. Anderson, Software Methods and Tools, University of Colorado, 2004.
[5] Mike Gordon, Specification and Verification I, Lecture Notes, University of Cambridge, 2003.
[6] Alfs T. Berztiss, Mark A. Ardis, Formal Verification of Programs, Lecture Notes, Carnegie Mellon University, 1988.
[7] K. Rustan M. Leino, Hoare-style program verification, Lecture Notes, Microsoft Research, 2004.