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, Decorated proofs for computational effects: States. ACCAT 2012, Electronic Proceedings in Theoretical Computer Science 93, pp.45-59, 2012.
DOI : 10.4204/eptcs.93.3
URL : https://hal.archives-ouvertes.fr/hal-00828544

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, 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

J. Dumas, D. Duval, and J. Reynaud, A decorated proof system for exceptions, 2013.

J. Dumas, D. Duval, B. Ekici, and D. Pous, Formal verification in Coq of program properties involving the global state effect, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00869230

J. Gibbons and M. Johnson, Relating Algebraic and Coalgebraic Descriptions of Lenses BX 2012, ECEASST, vol.49, 2012.

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

B. Jacobs, A Formalisation of Java???s Exception Mechanism, LNCS, vol.2028, pp.284-301, 2001.
DOI : 10.1007/3-540-45309-1_19

B. Jacobs and J. Rutten, An introduction to (co)algebra and (co)induction, Advanced topics in bisimulation and coinduction, pp.38-99, 2011.
DOI : 10.1017/CBO9780511792588.003

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

J. M. Lucassen and D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.47-57, 1988.
DOI : 10.1145/73560.73564
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.4916

P. Es, Segal Condition Meets Computational Effects, LICS, pp.150-159, 2010.

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

E. Moggi and S. Fagorzi, A Monadic Multi-stage Metalanguage, FoSSaCS LNCS, vol.2620, pp.358-374, 2003.
DOI : 10.1007/3-540-36576-1_23

M. Pretnar, The Logic and Handling of Algebraic Effects, PhD. University of Edinburgh, 2010.

G. D. Plotkin and J. Power, Notions of Computation Determine Monads, FoSSaCS 2002, pp.342-356, 2002.
DOI : 10.1007/3-540-45931-6_24

G. D. Plotkin and M. Pretnar, Handlers of Algebraic Effects, LNCS, 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, AMAST 2004, pp.443-459, 2004.
DOI : 10.1007/978-3-540-27815-3_34

S. Staton, Completeness for Algebraic Theories of Local State, FoSSaCS 2010, pp.48-63, 2010.
DOI : 10.1007/978-3-642-12032-9_5

R. Tate, The sequential semantics of producer effect systems. POPL 2013, pp.15-26, 2013.

T. Uustalu and V. Vene, Comonadic Notions of Computation, Electronic Notes in Theoretical Computer Science, vol.203, issue.5, pp.263-284, 2008.
DOI : 10.1016/j.entcs.2008.05.029

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