P. Aczel and N. Mendler, A final coalgebra theorem, Proceedings category theory and computer science, pp.357-365, 1989.
DOI : 10.1007/BFb0018361

C. C??rsteac??rstea, A. Kurz, D. Pattinson, L. Schröder, and Y. Venema, Modal logics are coalgebraic, BCS Int. Acad. Conf, pp.128-140, 2008.

D. Gorín and L. Schröder, Simulations and Bisimulations for Coalgebraic Modal Logics, CALCO '13, 2013.
DOI : 10.1007/978-3-642-40206-7_19

H. P. Gumm and T. Schröder, Types and coalgebraic structure, Algebra universalis, vol.53, issue.2-3, pp.229-252, 2005.
DOI : 10.1007/s00012-005-1888-2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.6492

R. S. Myers, D. Pattinson, and L. Schröder, Coalgebraic Hybrid Logic, FOS- SACS, pp.137-151, 2009.
DOI : 10.1007/3-540-48754-9_24

D. Pattinson, Coalgebraic modal logic: soundness, completeness and decidability of local consequence, Theoretical Computer Science, vol.309, issue.1-3, pp.177-193, 2003.
DOI : 10.1016/S0304-3975(03)00201-9

J. Riguet, Relations binaires, fermetures, correspondances de Galois, Bulletin de la Société mathématique de France, vol.2, pp.114-155, 1948.
DOI : 10.24033/bsmf.1401
URL : http://archive.numdam.org/article/BSMF_1948__76__114_0.pdf

J. J. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000.
DOI : 10.1016/S0304-3975(00)00056-6

L. Schröder, Expressivity of coalgebraic modal logic: The limits and beyond, Foundation of Software Science and Comp. Structures

L. Schröder, Expressivity of coalgebraic modal logic: The limits and beyond, Theoretical Computer Science, vol.390, issue.2-3, pp.230-247, 2008.
DOI : 10.1016/j.tcs.2007.09.023

L. Schröder and D. Pattinson, Coalgebraic Correspondence Theory, FOSSACS, pp.328-342, 2010.
DOI : 10.1007/978-3-642-12032-9_23

S. Staton, Relating coalgebraic notions of bisimulation, Logical Methods in Computer Science, vol.7, issue.1, 2011.
DOI : 10.2168/lmcs-7(1:13)2011
URL : http://arxiv.org/abs/1101.4223

V. Trnková, Some properties of set functors, Comm. Math. Univ. Carolinae, vol.10, issue.2, pp.323-352, 1969.