Understanding Z : a specification language and its fromal semantics - Spivey, J.M (Cambridge University Press, 1989)