J. Adámek, Free algebras and automata realizations in the language of categories, Commentationes Mathematicae Universitatis Carolinae, vol.015, pp.589-602, 1974.

B. Ahrens, Modules over relative monads for syntax and semantics, Mathematical Structures in Computer Science, vol.26, pp.3-37, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01329609

B. Ahrens, A. Hirschowitz, A. Lafont, and M. Maggesi, High-Level Signatures and Initial Semantics, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018, vol.119, pp.1-4, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01930058

B. Ahrens, A. Hirschowitz, A. Lafont, and M. Maggesi, Modular Specification of Monads Through Higher-Order Presentations, 4th International Conference on Formal Structures for Computation and Deduction, vol.131, pp.1-6, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02307998

T. Altenkirch, J. Chapman, and T. Uustalu, Monads need not be endofunctors, Logical Methods in Computer Science, vol.11, p.1, 2015.

T. Altenkirch and B. Reus, Monadic Presentations of Lambda Terms Using Generalized Inductive Types, Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, vol.1683, pp.453-468, 1999.

, Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science, vol.55, 2003.

B. Bloom, S. Istrail, and A. R. Meyer, Bisimulation Can't Be Traced, Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pp.229-239, 1988.

F. Borceux, Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications, vol.2, 1994.

M. P. Fiore and C. Hur, Equational Systems and Free Constructions, ICALP, vol.4596, pp.607-618, 2007.

M. P. Fiore and O. Mahmoud, Second-Order Algebraic Theories (Extended Abstract), MFCS, vol.6281, pp.368-380, 2010.

M. P. Fiore, G. D. Plotkin, and D. Turi, Abstract Syntax and Variable Binding, 14th Annual IEEE Symposium on Logic in Computer Science, 0202.

M. P. Fiore and S. Staton, A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics, 21th IEEE Symposium on Logic in Computer Science (LICS 2006), pp.49-58, 2006.

M. P. Fiore and D. Turi, Semantics of Name and Value Passing, 16th Annual IEEE Symposium on Logic in Computer Science, pp.93-104, 2001.

M. Hamana, Term Rewriting with Variable Binding: An Initial Algebra Approach, Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming (PPDP '03), pp.148-159, 2003.

A. Hirschowitz, T. Hirschowitz, and A. Lafont, Modules over monads and operational semantics, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02338144

A. Hirschowitz and M. Maggesi, Modules over monads and initial semantics, Special Issue: 14th Workshop on Logic, Language, Information and Computation, vol.208, pp.545-564, 2007.

T. Hirschowitz, Cartesian closed 2-categories and permutation equivalence in higher-order rewriting, Logical Methods in Computer Science, vol.9, p.10, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00540205

T. Hirschowitz, Familial monads and structural operational semantics, PACMPL, vol.3, pp.1-21, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01815328

B. Jacobs, Categorical Logic and Type Theory, Number 141 in Studies in Logic and the Foundations of Mathematics, 1999.

D. Kesner, A Theory of Explicit Substitutions with Safe and Full Composition, Logical Methods in Computer Science, vol.5, p.3, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00524735

. Bartek-klin, Bialgebras for structural operational semantics: An introduction, Theor. Comput. Sci, vol.412, pp.5043-5069, 2011.

A. Lafont, Signatures and models for syntax and operational semantics in the presence of variable binding, 2019.

C. Lüth and N. Ghani, Monads and Modular Term Rewriting, Category Theory and Computer Science, 7th International Conference, CTCS '97, vol.1290, pp.69-86, 1997.

S. Lane, Categories for the working mathematician, Graduate Texts in Mathematics, vol.5, 1998.

G. D. Plotkin, A structural approach to operational semantics, J. Log. Algebr. Program, pp.17-139, 2004.

P. Selinger, Lecture notes on the lambda calculus, 2008.

S. Staton, General Structural Operational Semantics through Categorical Logic, Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, pp.166-177, 2008.

D. Turi, D. Gordon, and . Plotkin, Towards a Mathematical Operational Semantics, Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, pp.280-291, 1997.