On the productivity of recursive definitions. Personal note EWD (1980)

by E W Dijkstra