The way of Z : practical programming with formal methods /
Jacky, Jonathan.
Cambridge : Cambridge University Press,
1997.
Includes bibliography and index.
Z (Computer program language)
Structured programming.