TY  - BOOK
AU  - Potter, Ben
AU  - Sinclair, Jane
AU  - Till, David
TI  - An introduction to formal specification and z
SN  - 9780134787022
U1  - 005.12 
PY  - 1991///
CY  - New York
PB  - Prentice Hall
KW  - Computer science
KW  - software development
ER  -