-
@article{TRAK66, author = {Trakhtenbrot, Boris A.}, doi = {10.1090/trans2/059/02}, isbn = {9780821817599}, journal = {American Mathematical Society Translations}, number = {2}, pages = {23--55}, title = {Finite automata and the logic of one-place predicates}, volume = {59}, year = {1966} }