T
[Tra62] Boris A. Trakhtenbrot. Finite automata and the logic of one-place predicates. Siberskii Matematicheskii Zhurnal 3(1):103-131. Sobolev Institute of Mathematics, 1962. 
@article{smj3(1)-Tra,
  author =              {Trakhtenbrot, Boris A.},
  title =               {Finite automata and the logic of one-place
                         predicates},
  publisher =           {Sobolev Institute of Mathematics},
  journal =             {Siberskii Matematicheskii Zhurnal},
  volume =              {3},
  number =              {1},
  pages =               {103-131},
  year =                {1962},
}
List of authors