1. Infinite trees and completely iterative theories: a coalgebraic view
2. Iterative algebras at work
3. Adámek, J., Milius, S., Velebil, J.: Elgot Algebras. Log. Methods Comput. Sci. 2(5:4), 2006, 32 pp.
4. Adámek, J., Milius, S., Velebil, J.: Semantics of higher-order recursion schemes. Proc. Algebra and Coalgebra in Computer Science (CALCO 2009), Lect. Notes Comput. Sci. 5728, Springer 2009, 49-63.
5. Adámek, J., Porst, H. E.: On tree coalgebras and coalgebra presentations. Theoret. Comput. Sci. 311 (2004), 257-283.