1. Lecture Notes in Computer Science;J Adámek,2012
2. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats. No. 17, Reprints in Theory and Applications of Categories (2006). Originally published by: Wiley, New York (1990)
3. Beohar, H., König, B., Küpper, S., Mika-Michalski, C.: Predicate, relation liftings and modal logics for coalgebras with side effects. CoRR abs/2110.09911 (2021). https://arxiv.org/abs/2110.09911
4. Beohar, H., König, B., Küpper, S., Silva, A.: Conditional transition systems with upgrades. Sci. Comput. Program. 186, 102320 (2020). https://doi.org/10.1016/j.scico.2019.102320
5. Beohar, H., König, B., Küpper, S., Silva, A., Wißmann, T.: A coalgebraic treatment of conditional transition systems with upgrades. Log. Methods Comput. Sci. 14(1) (2018). https://doi.org/10.23638/LMCS-14(1:19)2018. https://lmcs.episciences.org/4330