Book

Computational lambda-calculus and monads

by Eugenio Moggi