[MoggiMonads1988] Eugenio Moggi . 1988 . Computational lambda-calculus and monads .

[WhyFP] John Hughes . 1984 . Why Functional Programming Matters .