On the Productivity of Recursive List De (1989)

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