Jeffrey Shallit Numeration Systems, Linear Recurrences, and Regular Sets (Extended Abstract). 89-100 1992 conf/icalp/1992 ICALP db/conf/icalp/icalp92.html#Shallit92 http://dx.doi.org/10.1007/3-540-55719-9_66