1. P. Aczel, Non-Well-Founded Sets, CSLI Lecture Notes, Vol. 14, Stanford University Press, Standford, 1988.
2. A. Aziz, V. Sighal, G. Swamy, R. Brayton, Minimizing interacting finite state machines: a compositional approach to language containment, in: Proc. Internat. Conf. on Computer Design (ICCD’94), IEEE Computer Society Press, Silver Spring, MD, 1994, pp. 255–261.
3. Hypersets;Barwise;The Math. Intelligencer,1991
4. J. Barwise, L. Moss, vicious circles. On the Mathematics of non-well-founded phenomena, CSLI Lecture Notes, Vol. 60, Stanford University Press, Stanford, 1996.
5. J. van Benthem, Modal correspondence theory, Ph.D. Thesis, Universiteit van Amsterdam, Instituut voor Logica en Grondslagenonderzo ek van Exacte Wetenschappen, 1976.