TY  - BOOK
AU  - Wordsworth,J.B.
TI  - Software development with Z: a practical approach to formal methods in software engineering 
SN  - 0201627574
AV  - QA76.73.Z2 W67 1992
PY  - 1992///
CY  - Wokingham, England, Reading, Mass.
PB  - Addison-Wesley pub.co., 
KW  - Z (Computer program language)
KW  - Computer software
KW  - Development
N1  - Includes bibliographical references (p. 321-324) and index
ER  -