Notions of Computation and Monads (1991)

GPTKB entity