Bror Bjerner S. Holmström A Composition Approach to Time Analysis of First Order Lazy Functional Programs. 157-165 1989 FPCA http://doi.acm.org/10.1145/99370.99382 db/conf/fpca/fpca89.html#BjernerH89