- Program Construction and Verification. R. C. Backhouse. Prentice-Hall, 1986.

- Program Derivation. The Development of Programs from Specifications. G. Dromey. Addison-Wesley, 1989.

Last modified: Monday, 3 December 2012, 2:07 PM