TY  - BOOK
AU  - Bowen, Jonathan
TI  - Formal specification and documentation using Z : a case study approach
SN  - 9781850322306
CY  - London
KW  - Formal methods -- Z
KW  - Programming language -- Z
N1  - Includes bibliographical references and index
ER  -