Shallit J. The Logical Approach to Automatic Sequences 2022