TY  - BOOK
AU  -  Jonathan Bowen
TI  - Formal Specification & Documentation Using Z: A Case Study Approach
SN  - 9781850322306
U1  - 005.12 BOW 
PY  - 1996///
PB  -  International Thomson Computer Press
ER  -