@incollection{DBLP:series/natosec/Ong10,
  author    = {C.-H. Luke Ong},
  title     = {Models of Higher-Order Computation: Recursion Schemes and
               Collapsible Pushdown Automata},
  booktitle = {Logics and Languages for Reliability and Security},
  year      = {2010},
  pages     = {263-299},
  ee        = {http://dx.doi.org/10.3233/978-1-60750-100-8-263},
  crossref  = {DBLP:series/natosec/25},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:series/natosec/25,
  editor    = {Javier Esparza and
               Bernd Spanfelner and
               Orna Grumberg},
  title     = {Logics and Languages for Reliability and Security},
  booktitle = {Logics and Languages for Reliability and Security},
  publisher = {IOS Press},
  series    = {NATO Science for Peace and Security Series - D: Information
               and Communication Security},
  volume    = {25},
  year      = {2010},
  isbn      = {978-1-60750-099-5},
  ee        = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}