The Logical Approach to Automatic Sequences - Shallit (Cambridge University Press, 2022)