Collapsible Pushdown Automata and Recursion Schemes - Murawski, C; Serre, O (LICS, 2008)