Básica
MOURA, A. Especificações em Z: Uma Introdução. São Paulo-SP, UNICAMP, 2002.
SCHNEIDER, S. The B-method: an introduction. Palgrave McMillan, 2001.
SPIVEY, J. M. Understanding Z: a specification language and its formal semantics. Cambridge University Press, 2008.
Complementar
WOODCOCK, J.; LOOMES, M. Software Engineering Mathematics. Pitman, 1988.
WOODCOCK, J.; DAVIES, J. Using Z - Specification, Refinement, and Proof, Prentice-Hall, 1996.
NUNES, D. J. Introdução à Abstração de Dados, Porto Alegre-RS, UFRGS, 2012.
MORGAN, C. Programming from Specifications. 2a ed. Prentice-Hall, 1994.
POTTER, J; SINCLAIR, J.; TILL, D. An Introduction to Formal Specification Using Z. 2a ed., Prentice-Hall, 1996.