Functional algorithm design. Science of Computer Programming 26 (1996)

by R Bird