1. ISO I. IEC 13568: 2002: Information technology–Z formal specification notation–Syntax, type system and semantics. ISO (International Organization for Standardization), Geneva, Switzerland (2002)
2. SPIVEY J M. The Z notation: a reference manual. In: International Series in Computer Science. Prentice-Hall, New York, NY (1992)
3. Wordsworth, J.B.: Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley Longman Publishing Co. Inc, Reading (1992)
4. Ince, D.C., Ince, D.: Introduction to Discrete Mathematics, Formal System Specification, and Z. Oxford University Press, Oxford (1993)
5. Abrial, J.-R., Schuman, S.A., Meyer, B.: Specification language. In: McKeag, R.M., Macnaghten, A.M. (eds.) On the Construction of Programs: An Advanced Course. Cambridge University Press, Cambridge (1980)