An introduction to discrete mathematics, formal system specification, and Z - Ince, D C (Clarendon Press, 1992)