Semantics of value recursion for Monadic Input/OutputLevent Erkök, John Launchbury and Andrew MoranRAIRO-Theor. Inf. Appl., 36 2 (2002) 155-180DOI: https://doi.org/10.1051/ita:2002008
