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.