On the productivity of recursive definitions. EWD749 (1980)

by E W Dijkstra