1. Adámek, J.H., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories, 2nd edn. Dover Publications, Mineola, New York (2009)
2. Adámek, J.: Introduction to coalgebra. Theory Appl. Categories 14(8), 157–199 (2005)
3. Abramsky, S.: Domain theory and the logic of observable properties. arXiv preprint arXiv:1112.0347 (2011)
4. Bakhtiari, Z., Hansen, H.: Helle.: Bisimulation for weakly expressive coalgebraic modal logics. In: 7th Conference on Algebra and Coalgebra in Computer Science(CALCO 2017), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik 4, pp. 1–4:16 (2017)
5. Lecture Notes in Computer Science;D Gorín,2013