"A Composition Approach to Time Analysis of First Order Lazy Functional ..."

Bror Bjerner, S. Holmström (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics