TY  - BOOK
AU  - Ratcliff, Bryan
TI  - Introducing specification using z:a practical case study approach / Bryan Ratcliff
SN  - 0077079655
CY  - London ; New York : McGraw-Hill, c1994.
PB  - London ; New York : McGraw-Hill, c1994.
KW  - Z (Computer program language)
ER  -