@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",
}