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

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

Última modificación: lunes, 3 de diciembre de 2012, 14:07