"Notions of Computation Determine Monads."

Gordon D. Plotkin, John Power (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics