Antonio Restivo Rational Languages and the Burnside Problem. 13-30 1985 40 Theor. Comput. Sci. db/journals/tcs/tcs40.html#Restivo85