1. André Almeida , Marco Almeida , José Alves , Nelma Moreira , and Rogério Reis . 2009. FAdo and GUItar: Tools for Automata Manipulation and Visualization . In Proceedings of CIAA , Sebastian Maneth (Ed.). Springer , 65--74. https://doi.org/10.1007/978--3--642-02979-0_10 André Almeida, Marco Almeida, José Alves, Nelma Moreira, and Rogério Reis. 2009. FAdo and GUItar: Tools for Automata Manipulation and Visualization. In Proceedings of CIAA, Sebastian Maneth (Ed.). Springer, 65--74. https://doi.org/10.1007/978--3--642-02979-0_10
2. AUTOMATE, a computing package for automata and finite semigroups
3. Tiago Cogumbreiro and Greg Blike. 2022. Gidayu source code snapshot. https://doi.org/10.6084/m9.figshare.19660689.v1 Project repository available at: https://gitlab.com/umb-svl/gidayu. Tiago Cogumbreiro and Greg Blike. 2022. Gidayu source code snapshot. https://doi.org/10.6084/m9.figshare.19660689.v1 Project repository available at: https://gitlab.com/umb-svl/gidayu.
4. Visualisation and proof: a brief survey of philosophical perspectives
5. Ted Hung and Susan H. Rodger . 2000. Increasing Visualization and Interaction in the Automata Theory Course . In Proceedings of SIGCSE. ACM, 6--10 . https://doi.org/10.1145/330908.33 1800 Ted Hung and Susan H. Rodger. 2000. Increasing Visualization and Interaction in the Automata Theory Course. In Proceedings of SIGCSE. ACM, 6--10. https://doi.org/10.1145/330908.331800