TY  - BOOK
AU  - Lightfoot,David
TI  - Formal specification using Z
SN  - 0333544080 (pbk.)
PY  - 1991///
CY  - Houndmills, Basingstoke
PB  - Macmillan
KW  - Z (Computer program language)
N1  - Includes index
ER  -