Notions of computations and monads. Information and Computation (1991)

by E Moggi