1. Lecture Notes in Computer Science;G. Kiczales,1997
2. Spivey, M.: The Z notation: a reference manual, 2nd edn. Prentice Hall International Ltd., Hertfordshire (1992)
3. Meisels, I., Saaltink, M.: The Z/EVES Reference Manual (for Version 1.5). Reference manual, ORA Canada (1997)
4. Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Darmstadt University of Technology, Darmstadt, Germany (1961)
5. Jacky, J.: The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, Cambridge (1997)