Andreas Eick;Elfriede Fehr
-;-
Functional programming with combinators
Journal of Symbolic Computation