Diller (1994)

Diller A. (1994)

Z: An Introduction to Formal Methods

Wiley, 2nd edn