Ostrowski Numeration Systems, Addition, and Finite Automata. - Philipp Hieronymi; Alonza Terry Jr. (Notre Dame J. Formal Log., 2018)