1. P. Aczel, Non–-Well-Founded Sets, CSLI Lecture Notes 14, Stanford University, 1988
2. P. Aczel, J. Adámek, S. Milius and J. Velebil, Infinite Trees and Completely Iterative Theories: A Coalgebraic View, accepted in Theoretical Computer Science
3. P. Aczel, J. Adámek and J. Velebil, A Coalgebraic View of Infinite Trees and Iteration, Electronic Notes in Theoretical Computer Science, 44.1 (2001)
4. A Final Coalgebra Theorem;Aczel,1989
5. Free Algebras and Automata Realizations in the Language of Categories;Adámek;Comment. Math. Univ. Carolinae,1974