Notes on recursion elimination | Communications of the ACM | DeepDyve