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

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

Azken aldaketa: astelehena, 2012(e)ko abenduaren 3(e)an, 14:07(e)tan