ドナルド・クヌース
ドナルド・クヌースによる研究が、Textbook Examples of Recursion(1990)にある。