Anfonwch hwn fel neges destun: The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial [and others].