Anthony Widjaja To Unary finite automata vs. arithmetic progressions. 1010-1014 2009 109 Inf. Process. Lett. 17 http://dx.doi.org/10.1016/j.ipl.2009.06.005 db/journals/ipl/ipl109.html#To09