1. I. Borja. An introduction to automata design with TikZ’s automata library. TUGboat 44(1):102–107, 2023. https://tug.org/TUGboat/tb44-1/tb136prado-automata.pdf
2. Department of Computer Science, University of Prince Edward Island. Theory of Computing Software Server. http://grail.smcs.upei.ca.
3. A. May, T.J. Smith. Grail+ Visualizer. https://github.com/flarelabstfx/Grail-Visualisation.
4. A. Mertz, W. Slough. The jflap2tikz package. https://ctan.org/pkg/jflap2tikz.
5. A. Mertz, W. Slough, N. Van Cleave. Typesetting figures for computer science. TUGboat 35(2):179–191, 2014. https://tug.org/TUGboat/tb35-2/tb110mertz.pdf