Anthony Widjaja To Unary finite automata vs. arithmetic progressions http://arxiv.org/abs/0812.1291 2008 CoRR abs/0812.1291 db/journals/corr/corr0812.html#abs-0812-1291 informal publication