TY  - BOOK
AU  -  Ben Potter, Jane Sinclair & David Till -
TI  - An Introduction To Formal Specification And Z
SN  - 9780134787022
U1  - 005.12 POT 
PY  - 1991///
PB  -  Prentice Hall International (Uk) Ltd.
ER  -