1. Lecture Notes in Computer Science;P Aczel,1989
2. Lecture Notes in Computer Science;S Barlocco,2019
3. Basold, H.: Mixed inductive-coinductive reasoning types, programs and logic. Ph.D. thesis, Radboud Universiteit Nijmegen (2018)
4. Beohar, H., Gurke, S., König, B., Messing, K.: Hennessy-Milner theorems via Galois connections. In: CSL. LIPIcs, vol. 252, pp. 12:1–12:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
5. Beohar, H., et al.: Expressive quantale-valued logics for coalgebras: an adjunction-based approach. In: STACS. LIPIcs, vol. 289, pp. 10:1–10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2024)