Illustrating Finite Automata with Grail+ and TikZ. - Alastair May; Taylor J. Smith (CoRR, 2024)