A Composition Approach to Time Analysis of First Order Lazy Functional Programs. - Bror Bjerner; Sören Holmström (FPCA, 1989)