André Barbé Guentcho Skordev Decimation-invariant sequences and their automaticity. 379-403 2001 259 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs259.html#BarbeS01 http://dx.doi.org/10.1016/S0304-3975(00)00021-9