Understanding Z a specification language and its formal semantics
Spivey, J. M.(J Michael)
Cambridge Cambridge University Press
1988
Z (Computer program language)