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

%0 Book Section
%B Computational Support for Discrete Mathematics
%D 1994
%T NPDA: A Tool for Visualizing and Simulating Nondeterministic Pushdown Automata
%A D. Caugherty
%A Susan H. Rodger
%E N. Dean
%E G.E. Shannon
%I American Mathematical Society
%P 365-377
%S DIMACS Series in Discrete Mathematics and Theoretical Computer Science
%V 15