TY  - BOOK
AU  - Woodcock,Jim
AU  - Davies,Jim
TI  - Using Z: specification, refinement, and proof 
T2  - Prentice-Hall international series in computer science
SN  - 0139484728 (pbk. : alk. paper)
U1  - 005.1/2 
PY  - 1996///
CY  - London, New York
PB  - Prentice Hall
KW  - Z (Computer program language)
N1  - Includes index; CSCI325
UR  - https://uowd.box.com/s/uvqpalghdnyg3zrptbg7kanhq4bnfrax
ER  -