Functional programming concepts and straight-line programs in computer algebra. - N. Bruno; Joos Heintz; Guillermo Matera; Rosita Wachenchauzer (Math. Comput. Simul., 2002)