Nancy A. Day, Jeffrey J. Joyce: Symbolic Functional Evaluation. TPHOLs 1999: 341-358