On the productivity of recursive definitions (1980)

by E W Dijkstra