TY  - BOOK
AU  - Lightfoot, David (Senior Lecturer, School of Computing and Mathematical Sciences, Oxford Brookes University, Oxford)
TI  - Formal Specification Using Z
SN  - 0333763270
PY  - 1998///
CY  - London/Basingstoke
PB  - Palgrave Macmillan
KW  - Z (Computer program language)
KW  - Computer software
KW  - Development
N1  - BookData Record
ER  -