Levent Erkök John Launchbury Andrew Moran Semantics of value recursion for Monadic Input/Output. 155-180 2002 36 ITA 2 http://dx.doi.org/10.1051/ita:2002008 db/journals/ita/ita36.html#ErkokLM02