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

Bilska AO, Leider KH, Procopiuc M, Procopiuc O, Rodger SH, Salemme JR, et al. A collection of tools for making automata theory and formal languages come alive. In: Twenty-eighth SIGCSE Technical Symposium on Computer Science Education. Vol 29.; 1997. p. 15-9.

Procopiuc M, Procopiuc O, Rodger SH. Visualization and interaction in the computer science formal languages course with JFLAP. In: Proceedings of Frontiers in Education FIE'96 26th Annual Conference. Vol 1. Salt Lake City, UT, USA: IEEE; 1996. p. 121-5.