Text this: Collapsible Pushdown Automata and Recursion Schemes.