Pressman, Roger S. “Ingeniería del Software: Un enfoque práctico”. McGraw-Hill 1998.

Spivey, J.M. “ Understanding Z: a specification language and its formal semantics. Cambridge University Press. 1988.

Rosalind Barden, Susan Stepney, and David Cooper. “Z in Practice”. BCS Practitioner Series. Prentice-Hall, 1994.

Gries, d. & Scheneider. “ A logical approach to discrete Math”. Springer-Verlag, 1993.

Guttagg & Horning. “ Larch: Languages and tools for Formal Specification”, Springer-Verlag, 1993.

Marciniak, J.(editor). “ Enciclopaedia of Software Engineering”, Wiley, 1994.

Libro on-line de Z: http://www.usingz.com/

Páxina de métodos formais. http://vl.fmnet.info/

Páxina de Z. http://vl.zuser.org/