C
[CPJ08] Hubert Comon, Nicolas Perrin, and Florent Jacquemard. Visibly Tree Automata with Memory and Constraints. Logical Methods in Computer Science 4(2). May 2008. 
@article{lmcs4(2)-CPJ,
  author =              {Comon, Hubert and Perrin, Nicolas and Jacquemard,
                         Florent},
  title =               {Visibly Tree Automata with Memory and Constraints},
  journal =             {Logical Methods in Computer Science},
  volume =              {4},
  number =              {2},
  year =                {2008},
  month =               may,
  doi =                 {10.2168/LMCS-4(2:8)2008},
}
List of authors