Semantics of value recursion for Monadic Input/Output Levent Erkök, John Launchbury and Andrew Moran RAIRO-Theor. Inf. Appl., 36 2 (2002) 155-180 Published online: 15 December 2002 DOI: 10.1051/ita:2002008