C. Domínguez and D. Duval, Diagrammatic logic applied to a parameterisation process, Mathematical Structures in Computer Science, vol.87, issue.04, pp.639-654, 2010.
DOI : 10.1016/S0022-4049(96)00007-2

C. Domínguez and D. Duval, A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW, International Journal of Foundations of Computer Science, vol.23, issue.01, pp.225-242, 2012.
DOI : 10.1142/S0129054112500050

J. Dumas, D. Duval, L. Fousse, and J. Reynaud, A duality between exceptions and states, Mathematical Structures in Computer Science, vol.3116, issue.04, pp.719-722, 2012.
DOI : 10.1016/j.entcs.2006.04.014

URL : https://hal.archives-ouvertes.fr/hal-00828521

J. Dumas, D. Duval, L. Fousse, and J. Reynaud, Decorated proofs for computational effects: States. ACCAT 2012, Electronic Proceedings in Theoretical Computer Science 93, pp.45-59, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00828544

J. Dumas, D. Duval, and J. Reynaud, Cartesian effect categories are Freyd-categories, Journal of Symbolic Computation, vol.46, issue.3, pp.272-293, 2011.
DOI : 10.1016/j.jsc.2010.09.008

URL : https://hal.archives-ouvertes.fr/hal-00369328

D. Duval, Diagrammatic specifications, Mathematical Structures in Computer Science, vol.13, issue.6, pp.857-890, 2003.
DOI : 10.1017/S0960129503003979

URL : https://hal.archives-ouvertes.fr/hal-00171562

C. Ehresmann, Esquisses et types de structures algébriques, Bull. Instit. Polit. Ia¸siIa¸si XIV, 1968.

P. Gabriel and M. Zisman, Calculus of Fractions and Homotopy Theory, 1967.
DOI : 10.1007/978-3-642-85844-4

J. Gosling, B. Joy, G. Steele, and G. Bracha, The Java Language Specification, Third Edition, 2005.

R. Milner, M. Tofte, R. Harper, and D. Macqueen, The Definition of Standard ML, Revised Edition, 1997.

M. Hyland and J. Power, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Electronic Notes in Theoretical Computer Science, vol.172, pp.437-458, 2007.
DOI : 10.1016/j.entcs.2007.02.019

L. Paul-blain, Monads and adjunctions for global exceptions. MFPS, Electronic Notes in Theoretical Computer Science, vol.158, pp.261-287, 2006.

E. Moggi, Notions of computation and monads, Information and Computation, vol.93, issue.1, pp.55-92, 1991.
DOI : 10.1016/0890-5401(91)90052-4

G. D. Plotkin and J. Power, Notions of Computation Determine Monads, Lecture Notes in Computer Science 2303, pp.342-356, 2002.
DOI : 10.1007/3-540-45931-6_24

G. D. Plotkin and J. Power, Algebraic Operations and Generic Effects, Applied Categorical Structures, vol.11, issue.1, pp.69-94, 2003.
DOI : 10.1023/A:1023064908962

G. D. Plotkin and M. Pretnar, Handlers of Algebraic Effects, Lecture Notes in Computer Science, vol.5502, pp.80-94, 2009.
DOI : 10.1007/978-3-642-00590-9_7

J. G. Riecke and H. Thielecke, Typed Exceptions and Continuations Cannot Macro-Express Each Other, Springer-Verlag Lecture Notes in Computer Science 1644, pp.635-644, 1999.
DOI : 10.1007/3-540-48523-6_60

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.7950

L. Schröder and T. Mossakowski, Generic Exception Handling and the Java Monad, Lecture Notes in Computer Science, vol.3116, pp.443-459, 2004.
DOI : 10.1007/978-3-540-27815-3_34

P. Wadler, The essence of functional programming. POPL 1992, pp.1-14, 1992.

C. Wells, Sketches: Outline with references, p.html, 1994.