1. Workshops in Computing;R.D. Arthan,1992
2. Enderton, H.B.: Elements of Set Theory. Academic Press, London (1977)
3. Lecture Notes in Computer Science;J.G. Hall,1997
4. Harwood, W.T.: Proof rules for Balzac. Technical Report WTH/P7/001, Imperial Software Technology, UK (1991)
5. Hall, J.G., McDermidan., J.A., Toyn, I.: Model conjectures for Z specifications. In: Habrias, H. (ed.) Z Twenty Years On – What is its Future?, IRIN, Université de Nantes, France, October 1995, pp. 41–51 (1995)