The Annotated Bibliography is a collection of curated links to research literature on AV topics.

Jarvis J, Lucas JM. Incorporating transformations into JFLAP for enhanced understanding of automata. In: Proceedings of the 39th SIGCSE technical symposium on Computer science education - SIGCSE '08. Portland, OR, USA: ACM Press; 2008. p. 14-8.