TY  - BOOK
AU  - WOODCOCK AND DAVIES
TI  - USING Z SPECIFICATION REFINEMENT AND PROOF
SN  - 9780139484728
U1  - 005.1 WOO 
PY  - 1996///
PB  - PHI
ER  -