TY  - BOOK
AU  - Wordsworth,J.B.
TI  - Software development with Z: a practical approach to formal methods in software engineering 
SN  - 0201627574
PY  - 1992///
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Z (Computer program language)
KW  - Computer software
KW  - Development
N1  - p. 321-324
ER  -