Complexity analysis for a higher-order language (1988)

by D Sands