By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can greatly improve the way software systems are modeled, implemented; investigate specifications before construction. [Prentice Ha