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

J. Dumas, D. Duval, L. Fousse, and J. Reynaud, A duality between exceptions and states. Accepted for publication in MSCS
URL : https://hal.archives-ouvertes.fr/hal-00828521

J. Dumas, D. Duval, L. Fousse, and J. Reynaud, Decorated proofs for computational effects: States. Accepted for presentation at ACCAT'12
DOI : 10.4204/eptcs.93.3
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

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

R. Harper, Programming in Standard ML

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

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.