Eugenio Moggi was the first to describe how monads can be used to structure programs. * List of publications, [web](http://www.disi.unige.it/person/MoggiE/publications.html)