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