Woodcock, J. and J. Davies (1996). Using Z : specification, refinement, and proof. London ; New York, Prentice Hall.

Languages mentioned

• Z {1980}