Algorithms: a Functional Programming Approach (1999)

by F Rabhi, G Lapalme