On the productivity of recursive list definitions (1989)

by Ben A Sijtsma
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS