Semantics of value recursion for monadic input/output (2002)

by Levent Erkök, John Launchbury, Andrew Moran
Venue:Journal of Theoretical Informatics and Applications