1. S. Abramsky. A Cook's tour of the finitary non-well-founded sets. In S. N. Artëmov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods, editors,We Will Show Them! Essays in Honour of Dov Gabbay, volume 1, pages 1-18. College Publications, 2005.
2. P. Aczel and N. Mendler. A final coalgebra theorem. InBctcs8919893, volume 389 ofLecture Notes in Comput. Sci., pages 357-365. Springer, 1989.
3. P. Aczel and M. Rathjen. Notes on constructive set theory. Technical Report 40, Institut Mittag-Leffler, Sweden, 2001.
4. A Brief Introduction to Algebraic Set Theory