TY  - BOOK
AU  - 
TI  - Formal Specification Using Z
SN  - 0-333-76327-0
PY  - 2001///
CY  - New York
PB  - Palgrave
KW  - Z (Computer Program Language)
ER  -