TY  - BOOK
AU  - Diller, Antoni
TI  - Z
SN  - 471939730
CY  - Chichester
KW  - Formal methods -- Software engineering
KW  - Programming language
KW  - Specification language -- Formal
KW  - Z -- Programming language
N1  - Includes bibliographical references and index
ER  -