On the complexity of higher-order programs (1985)

by J Shultis