D. César-domínguez and . 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

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

. Dumas, States and exceptions considered as dual effects, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00445873

. Gaudel, A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. Formal Methods for Industrial Applications 1995, Lecture Notes in Computer Science 1165, pp.233-264, 1996.

D. Gordon, J. Plotkin, and . Power, Notions of Computation Determine Monads. FoS- SaCS, Lecture Notes in Computer Science 2303, pp.342-356, 2002.