1. Adámek, J., Milius, S., Moss, L.S.: Initial algebras without iteration. In: Gaducci, F., Silva, A. (eds.) 9th Conference on Algebra and Coalgebra in Computer Science (CALCO). LIPIcs, vol. 211, pp. 5:1–5:20. Schloss Dagstuhl (2021)
2. Applegate, H.: Acyclic models and resolvent functors. Ph.D. thesis, Columbia University (1965)
3. Bartels, F.: On generalized coinduction and probabilistic specification formats. Ph.D. thesis, Vrije Universiteit Amsterdam (2004)
4. Bojańczyk, M., Klin, B., Lasota, S.: Automata theory in nominal sets. Log. Methods Comput. Sci. 10(3), 1–8 (2014)
5. Bonchi, F., Milius, S., Silva, A., Zanasi, F.: Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Theoret. Comput. Sci. 604, 102–126 (2015)