On the productivity of recursive list functions (1989)

by B A Sijtsma
Venue:ACM Transactions on Programming Language and Systems