text: Notions of Computation and Monads от Eugenio Moggi, первая статья, предлагающая использование монад в программировании «Monads for Functional Programming» от Philip Wadler, описание монад в языке Хаскелл (написано ещё до того, как они в нём появились) 4.