Notions of computation determine monads (2002)

by G D Plotkin, J Power
Venue:Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science