1. Adámek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley Interscience: available as Reprints Theory Appl. Cat. 17(2006), 1–507 (1990)
2. Baldan, P., Bonchi, F., Kerstan, H., König, B.: Behavioral metrics via functor lifting. In: Raman, V., Suresh, S.P. (eds.) Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014. LIPIcs, vol. 29, pp. 403–415. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014). https://doi.org/10.4230/LIPIcs.FSTTCS.2014.403
3. Baldan, P., Bonchi, F., Kerstan, H., König, B.: Coalgebraic behavioral metrics. Logical Methods Comput. Sci. 14(3) (2018), selected papers of the 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015
4. Beohar, H., Gurke, S., König, B., Messing, K.: Hennessy-Milner theorems via Galois connections. In: Klin, B., Pimentel, E. (eds.) Computer Science Logic, CSL 2023. LIPIcs, vol. 252, pp. 12:1–12:18. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023). https://doi.org/10.4230/LIPIcs.CSL.2023.12
5. Beohar, H., Gurke, S., König, B., Messing, K., Forster, J., Schröder, L., Wild, P.: Expressive quantale-valued logics for coalgebras: an adjunction-based approach. In: Kupferman, O., Beyersdorff, O., Lokshtanov, D., Kanté, M.M. (eds.) Theoretical Aspects of Computer Science, STACS 2024. LIPIcs, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024), to appear