[1] R. M. Burstall: Program Proving as Hand Simulation with a Little Induction. Information Processing 74, North-Holland Publ. Comp., 1974, 308-312. MR 0448980 | Zbl 0299.68012

[2] Z. Manna R. Waldinger: Is "sometime" sometimes better than "always"? Intermittent assertions in proving program correctness. Stanford Artif. Intel. Lab. STAN-CS-76-558, June 1976 (also in CACM 21 (1978), 2, 159-179). MR 0483642

[3] R. W. Floyd: Assigning meanings to programs. Proceedings of Symposium in Applied Math., American Math. Soc. 1967, 19-32. MR 0235771 | Zbl 0189.50204

[4] J. H. Morris, Jr., Ben Wegbreit: Subgoal induction. CACM 20 (1977), 4, 209-220. MR 0445889

[5] R. M. Burstall: Proving properties of programs by structural induction. The Comp. Jour. 12 (1969), 1,41-48. Zbl 0164.46202

[6] Z. Manna: Mathematical Theory of Computation. McGrow-Hill Book Comp., New York 1974. MR 0400771 | Zbl 0353.68066

[7] C. Reynolds R. T. Yeh: Induction as the basis for program verification. IEEE Tran. on Software Engineering SE-2 (1976), 4, 244-252. MR 0520721