1. Barwise, J. Admissible Sets and Structures. Springer-Verlag, Berlin. 1975.
2. Dawes, J. The VDM-SL Reference Guide. Pitman, London, 1991.
3. Havel, P. Metamathematics of First Order Arithmetic. Springer-Verlag, Berlin, 1991.
4. Krivine, J.L. Introduction to Axiomatic Set Theory. Springer-Verlag, New York, 1971.
5. Potter, M.D. Sets: An Introduction. Clarendon Press, Oxford, 1990.