Static Dependent Costs for Estimating Execution Time. - Brian Reistad; David K. Gifford (LISP and Functional Programming, 1994)