TY  - BOOK
AU  - Lightfoot,David
TI  - Formal specification using Z
SN  - 9780333763278 (pbk.)
PY  - 2001///
CY  - Basingstoke
PB  - Palgrave Macmillan
KW  - Z (Computer program language)
KW  - Computer software
KW  - Development
N1  - Previous ed.: 1991; Includes index
ER  -