Nested recursion, Mathematische Annalen 143 (1961)

by W Tait