C.-H. Luke Ong. Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 263-299, IOS Press, 2010. [doi]
Abstract is missing.