1. Workshops in Computing;R.D. Arthan,1992
2. Arthan, R.D.: Recursive Data Types in Typed Set Theory. Unpublished pre-print (1997)
3. Arthan, R.D.: Mechanizing the Z Toolkit. In: Mislova, M. (ed.) Proceedings of the Oxford Workshop on Automated Formal Methods. Elsevier Electronics Notes in Computer Science (1998) (to appear)
4. Cohn, P.M.: Universal Algebra. D. Reidel Publishing Company (1981)
5. Halmos, P.R.: Naive Set Theory. Springer, Heidelberg (1974)