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

Caugherty D, Rodger SH. NPDA: A Tool for Visualizing and Simulating Nondeterministic Pushdown Automata. In: Dean N, Shannon GE, editors. Computational Support for Discrete Mathematics. Vol 15. American Mathematical Society; 1994. p. 365-77. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science; vol 15).