1. Aczel, P.:Non-Well-Founded sets, CSLI, Lecture Notes No. 14, 1988.
2. Benthem, J. van:Modal Logic and Classical Logic, Bibliopolis, Napoli and Atlantic Heights, NJ, 1985.
3. Benthem, J. van, D'Agostino, G., Montanari, A., and Policriti, A.: Modal Deduction in Second-Order Logic and Set Theory, Research Report in the ILLC-series, ML-95-02, University of Amsterdam, February 1995.
4. Cantone, D.: A Decision Procedure for a Class of Unquantified Formulae of Set Theory Involving the Powerset and Singleton Operators, PhD Thesis, New York University, 1986.
5. Cantone, D., Ferro, A., and Omodeo, E. G.:Computable Set Theory. Vol. 1, Oxford University Press, Int. Series of Monographs on Computer Science, 1989.