1. Aczel, P.: Non-Well-Founded Sets. CSLI Lecture Notes, No. 14, 1988
2. Barwise, J.K.: Admissible Sets and Structures. Springer, Berlin, 1975
3. Barwise, J.K., Moss, L.: Vicious Circles: on the mathematics of circular phenomena. CSLI Lecture Notes, 1996
4. Dawar, A., Lindell, S., Weinstein S.: Infinitary Logic and Inductive Definability over Finite Structures. Information and Computation, 119, No. 2 (1995) 160–175
5. Fernando, T.: A Primitive Recursive Set Theory and AFA: On Logical Complexity of the Largest Bisimulation. Report CS-R9213 ISSN 0169-118XCWI P.O.Box 4079, 1009 AB Amsterdam, Netherlands