1. Abramsky, S.: Domain theory in logical form. Ann. Pure Appl. Logic 51, 1–77 (1991)
2. Abramsky, S.: A Cook’s tour of the finitary non-well-founded sets. In We Will Show Them: Essays in Honour of Dov Gabbay. College Publications, 2005. BCTCS (1988) (presented)
3. Aczel, P.: Non-Well-Founded Sets. CSLI, Stanford (1988)
4. Adámek, J., Trnková, V.: Automata and Algebras in Categories. Kluwer Academic Publishers, Dordrecht (1990)
5. Baltag, A.: STS: A Structural Theory of Sets. PhD thesis, Indiana University (1998)