@Article{erkok-launchbury-moran-tia-02, author = "Levent {Erk\"{o}k} and John Launchbury and Andrew Moran", title = "Semantics of Value Recursion for Monadic Input/Output", journal = "{J}ournal of {T}heoretical {I}nformatics and {A}pplications", pages = "155-180", volume = "36", number = "2", year = "2002", }