TY  - BOOK
AU  - Lightfoot, David
TI  - Formal specification using Z
SN  - 9780333544082
CY  - London
KW  - Programming language -- Z
KW  - RDBMS interface
KW  - Software engineering
N1  - Includes index
ER  -