@InProceedings{Aehlig06,
  author =       {Aehlig, Klaus},
  title =        {A Finite Semantics of Simply-Typed Lambda Terms for
                  Infinite Runs of Automata},
  year =         2006,
  pages =        {104--118},
  booktitle =    {Procedings of the 20th international Workshop on
                  Computer Science Logic (CSL '06)},
  editor =       {Zoltan Esik},
  volume =       4207,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer Verlag},
  month =        sep,
}