Two exercises found in a book on algorithmics (1987)

by R S Bird, L Meertens
Venue:Program Speci and Transformation