Sheppard, D. (1995). An introduction to formal specification with Z and VDM. London ; New York, McGraw-Hill.

Languages mentioned

• Z {1980}