TY  - BOOK
AU  - Bowen, J.P.: Hinchey, M.G. : Till, D.:
TI  - The Z Formal Specification Notation : Lecture Notes in Computer Science : Proceedings
SN  - 0003540627170
U1  - 005.12 
PB  - Springer: Tokyo
KW  - Formal Methods
ER  -