@String{lmcs = {Logical Methods in Computer Science}}


@Article{Aehlig07,
  author =       {Aehlig, Klaus},
  title =        {A Finite Semantics of Simply-Typed Lambda Terms for
                  Infinite Runs of Automata},
  journal =      lmcs,
  year =         2007,
  volume =       3,
  number =       3
}

%% DOI: 10.2168/LMCS-3(3:1)2007