Bird, R. S. Notes on recursion elimination. (English) Zbl 0358.68016 Commun. ACM 20, 434-439 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 4 Documents MSC: 68N01 General topics in the theory of software 68W99 Algorithms in computer science 68Q25 Analysis of algorithms and problem complexity PDF BibTeX XML Cite \textit{R. S. Bird}, Commun. ACM 20, 434--439 (1977; Zbl 0358.68016) Full Text: DOI OpenURL