References

Books and papers related to imperative program derivation.

(In progress)

Books

Backhouse, Roland. Program Construction: Calculating Implementations from Specifications. Wiley, 2003.

Dijkstra, Edsger W. A Discipline of Programming. Prentice Hall, 1976.

Dijkstra, Edsger W. and Scholten, Carel S. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.

Gries, David. The Science of Programming. Springer-Verlag, 1981.

Kaldewaij, Anne. Programming - the Derivation of Algorithms. Prentice Hall, 1990.

Morgan, Carroll. Programming from Specifications, Second Edition. Prentice Hall, 1994.