1. Arthan, R.D.: Undefinedness in Z: Issues for specification and proof. In: Farmer, W., Kerber, M., Kohlhase, M. (eds.) Proc. Mechanization of Partial Functions Workshop, Affiliated to CADE-13, New Brunswick, pp. 3–12 (1996)
2. Lecture Notes in Computer Science;D. Aspinall,2000
3. Texts in theoretical computer science;Y. Bertot,2004
4. Lecture Notes in Computer Science;Y. Bertot,1994
5. Baader, F., Leucker, M.: Comparison of two semantic approaches to unification. In: Proceedings of the 12th International Workshop on Unification, number SI-98/8 in Research Report, Universita di Roma, La Sapienza (June 1998)