Notions of computation and monads. Information and computation 93(1 (1991)

by E Moggi