TY  - BOOK
AU  - Potter,Ben
AU  - Sinclair,Jane
AU  - Till,David
TI  - An introduction to formal specification and Z
SN  - 0132422077
U1  - 005.12 
PY  - 1996///
CY  - England ; New York
PB  - Prentice Hall
KW  - Computer software
KW  - Development
KW  - Z (Computer program language)
ER  -