Ratcliff, B. (1994). Introducing specification using Z : a practical case study approach. London ; New York, McGraw-Hill.

Languages mentioned

• Z {1980}