1. P. Aczel, Non-Well-Founded Sets, CSLI Lecture Notes 14, Stanford University, 1988
2. 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)
3. P. Aczel, J. Adámek, S. Milius and J. Velebil, Infinite Trees and Completely Iterative Theories: A Coalgebraic View, accepted for publication in Theor. Comp. Sci.
4. A Final Coalgebra Theorem;Aczel,1989
5. J. Adámek, S. Milius and J. Velebil, Free Iterative Theories: A Coalgebraic View, accepted for publication in Math. Str. Comp. Sci.