On the productivity of recursive definitions (2010)

by Edsger W Dijkstra
Venue:Personal note EWD 749, http://www.cs.utexas.edu/users/EWD/ewd07xx/EWD749.PDF, [cited 1