Notions of computation determine monads, in:Proc (2002)

by G Plotkin, J Power
Venue:Foundations of Software Sci. and Comp. Struct