Tabulation techniques for recursive programs (1980)

by R S Bird
Venue:ACM Computing Surveys