author : Antoni Diller

Books

• Z: an Introduction to Formal Methods. 1990

Short works

• Z and Hoare Logics. 1992. (In 6th Z User Workshop )
• Z and Abstract Machine Notation: A Comparison. 1994. (In 8th Z User Workshop )