TY  - BOOK
AU  -  Ben Potter, Jane Sinclair & David Till -
TI  - An Introduction To Formal Specification And Z
SN  - 9780132422079
U1  - 005.12 POT.2 
PY  - 1996///
PB  -  Prentice Hall Europe
ER  -