Functional Pearls: On building trees with minimum height (1997)

by Richard S Bird
Venue:Journal of functional programming