Jordaan, S., 		Timm, N., & 		Marshall, L.
2023 Dec  4.  AutomaTutor: An Educational Mobile App for Teaching Automata Theory. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :