TY  - BOOK
AU  - Lightfoot,David
TI  - Formal Specification Using Z
T2  - Grassroots series
SN  - 0333763270 (pbk.) :
U1  - 005.133 21
PY  - 2001///
CY  - Basingstoke
PB  - Palgrave
KW  - Z (Computer program language)
KW  - Computer software
KW  - Development
KW  - Formal methods (Computer science)
KW  - CS
KW  - March2012
N1  - Previous ed.: Basingstoke : Macmillan, 1991; Includes index
ER  -