TY  - BOOK
AU  - Lightfoot, David
TI  - Formal Specification Using Z
SN  - 0333763270
PY  - 2001///
CY  - London
PB  - Palgrave
KW  - Computer software
KW  - Formal Methods(Computer Science)
KW  - Z (Computer program language)
N1  - includes index
ER  -