TY  - BOOK
AU  - Woodcock,Jim
AU  - Davies,Jim
TI  - Using Z: Specification, Refinement, and Proof 
SN  - 0139484728
AV  - QA76.73.Z2 W66 1996
U1  - 005.12 20
PY  - 1996///
CY  - London, New York
PB  - Prentice Hall
KW  - Z (Computer program language)
N1  - Includes index
ER  -