1. P. Aczel, Non-Well-Founded Sets, CSLI Lecture Notes, vol. 14, CSLI Publications, Stanford, 1988.
2. J. Barwise, L. Moss, Vicious Circles, CSLI Publications Notes, vol. 60, Cambridge Univ. Press, Stanford, 1996.
3. Modal deduction in second-order logic and set theory—I;van Benthem;J. Logic Comput.,1997
4. Modal deduction in second-order logic and set theory—II;van Benthem;Studia Logica,1998
5. C. Brink, W. Kahl, G. Schmidt (Eds.), Relational Methods in Computer Science, Advances in Computing Science, Springer, Wien, New York, 1997.