TY  - BOOK
AU  - Diller,Antoni
TI  - Z : : an introduction to formal methods / 
SN  - 047192489X
U1  - 005.13/3   20
PY  - 1990///
CY  - Chichester [England] ; ,  New York : , New York : , New York : , New York : 
PB  - J. Wiley, 
KW  - Z (Computer program language)
N1  -  Includes bibliographical references (p. 289-299) and index
ER  -