Monadic encapsulation of effects: a revised approach (extended version (2001)

by E Moggi, A Sabry
Venue:Journal of Functional Programming