TY  - BOOK
AU  - Bowen, Jonathan P
AU  - Hinchey, Michael G
AU  - Till, David
TI  - ZUM'97: The Z formal specification notation
T2  - Lecture notes in computer science
SN  - 3540627170
U1  - 005.133 
PY  - 1997///
CY  - Berlin
PB  - s-V
ER  -