Diller (1994)
Diller A. (1994)
Z: An Introduction to Formal Methods
Wiley, 2nd edn