Functional algorithm design. Science ofcomputer programming (1996)

by Richard S Bird