Ratcliff, bryan Introducing specification using z:a practical case study approach / Bryan Ratcliff - London ; New York : mcgraw-Hill, c1994. ISBN: 0077079655 Subjects--Topical Terms: Z(computer program language) Dewey Class. No.: 005.12 RAT