N
[NS89] Maurice Nivat and Ahmed Saoudi. Automata on Infinite Objects and Their Applications to Logic and Programming. Information and Computation 83(1):41-64. Academic Press, October 1989. 
@article{icomp83(1)-NS,
  author =              {Nivat, Maurice and Saoudi, Ahmed},
  title =               {Automata on Infinite Objects and Their Applications
                         to Logic and Programming},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {83},
  number =              {1},
  pages =               {41-64},
  year =                {1989},
  month =               oct,
  doi =                 {10.1016/0890-5401(89)90046-1},
}
List of authors