TY  - BOOK
AU  -  Jim Woodcock & Jim Davies -
TI  - Using Z: Specification, Refinement, And Proof
SN  - 9780139484728
U1  - 005.12 WOO 
PY  - 1996///
PB  -  Prentice Hall Europe
ER  -