@Article{Ker-NO:tcs03,
  author =       "Andrew D. Ker and Hanno Nickau and C.-H. Luke Ong",
  title =        "Adapting innocent game models for the B{\"o}hm tree lambda-theory",
                 "Theoretical Computer Science",
  volume =       "308",
  pages =        "333--366",
  year =         "2003",
}

@Article{Ker-NO:tcs02,
  author =       "Andrew D. Ker and Hanno Nickau and C.-H. Luke Ong",
  title =        "Innocent game models of untyped lambda calculus",
                 "Theoretical Computer Science",
  volume =       "272",
  pages =        "247--292",
  year =         "2002",
}

@InProceedings{Ker-NO:csl99,
  author =       "Andrew D. Ker and Hanno Nickau and C.-H. Luke Ong",
  title =        "A universal innocent game model for the B{\"o}hm tree 
                  lambda theory",
  editor =       "J. Flum and M. Rodriguez-Artalejo",
  booktitle =    "Computer Science Logic 1999",
  publisher =    "Springer-Verlag",
  volume =       "1683",
  series =       "Lecture Notes in Computer Science",
  pages =        "405--419",
  year =         "1999",
}

@Book{Nickau:diss96,
  author =       "Hanno Nickau",
  title =        "Hereditarily Sequential Functionals: A Game-Theoretic
                 Approach to Sequentiality",
  note =         "Dissertation, Universit{\"a}t Gesamthochschule Siegen",
  publisher =    "Shaker-Verlag",
  year =         "1996",
}

@InProceedings{Nickau:lfcs94,
  author =       "Hanno Nickau",
  title =        "Hereditarily Sequential Functionals",
  editor =       "Anil Nerode and Yu. V. Matiyasevich",
  booktitle =    "Proc. Symp. Logical Foundations of Computer Science:
                 Logic at St.\ Petersburg",
  publisher =    "Springer-Verlag",
  volume =       "813",
  series =       "Lecture Notes in Computer Science",
  pages =        "253--264",
  year =         "1994",
}