J. Adámek, S. Milius, S. Lawrence, and . Moss, On finitary functors and their presentations, Coalgebraic Methods in Computer Science, pp.51-70, 2012.

S. Lawrence and . Moss, Recursion and corecursion have the same equational logic, Theoretical Computer Science, vol.294, issue.1, pp.233-267, 2003.

S. Lawrence, E. Moss, . Wennstrom, T. Glen, and . Whitney, A complete logical system for the equality of recursive terms for sets, Logic and Program Semantics, pp.180-203, 2012.

M. Bonsangue, J. Rutten, and A. Silva, A Kleene Theorem for Polynomial Coalgebras, Foundations of Software Science and Computational Structures, pp.122-136, 2009.
DOI : 10.1007/BFb0055624

M. Bonsangue, J. Rutten, and A. Silva, An Algebra for Kripke Polynomial Coalgebras, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.49-58, 2009.
DOI : 10.1109/LICS.2009.18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.192.5548

S. Milius, A Sound and Complete Calculus for Finite Stream Circuits, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.421-430, 2010.
DOI : 10.1109/LICS.2010.11

M. Alexandra and . Silva, Kleene coalgebra, 2010.

J. Jan and . Rutten, Universal coalgebra: a theory of systems, Theoretical computer science, vol.249, issue.1, pp.3-80, 2000.

S. Mac and L. , Categories for the working mathematician, 1978.

C. Kupke, J. Jan, and . Rutten, On the Final Coalgebra of Automatic Sequences, 2011.
DOI : 10.1007/978-3-642-29485-3_10

C. Grabmayer, J. Endrullis, D. H. , W. Klop, S. Lawrence et al., Automatic Sequences and Zip-Specifications, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.335-344, 2012.
DOI : 10.1109/LICS.2012.44
URL : http://arxiv.org/abs/1201.3251

J. Rot, F. Bonchi, M. Bonsangue, D. Pous, A. Jjmm-rutten et al., Enhanced coalgebraic bisimulation, Mathematical Structures in Computer Science, vol.7, p.2014
DOI : 10.1007/978-3-642-40206-7_9
URL : https://hal.archives-ouvertes.fr/hal-01288960

J. Adámek, V. Peter-gumm, and . Trnková, Presentation of Set Functors: A Coalgebraic Perspective, Journal of Logic and Computation, vol.20, issue.5, pp.991-1015, 2010.
DOI : 10.1093/logcom/exn090

A. J. Hurkens, M. Mcarthur, N. Yiannis, . Moschovakis, S. Lawrence et al., Abstract, The Journal of Symbolic Logic, vol.54, issue.02, pp.451-478, 1998.
DOI : 10.1016/0022-4049(93)E0184-6

G. Maxwell, K. , and A. Power, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra, vol.89, issue.1, pp.163-179, 1993.