@article{DAN_1961_140_2_a13,
     author = {B. A. Trakhtenbrot},
     title = {Finite automata and the logic of single-place predicates},
     journal = {Doklady Akademii Nauk},
     pages = {326--329},
     publisher = {mathdoc},
     volume = {140},
     number = {2},
     year = {1961},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DAN_1961_140_2_a13/}
}