Z.: An Introduction to Formal Methods By Antoni Diller

Elements of Formal Semantics: An Introduction to the Mathematical Theory of...

An Introduction to Formal Specification With Z and Vdm

Introduction to Formal Specification and Z

Z: An Introduction to Formal Methods By Antoni Diller

Z: An Introduction to Formal Methods by Diller, Antoni Hardback Book The Fast

An Introduction to Formal Languages and..., Linz, Peter