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

@inbook {,
	title = {NPDA: A Tool for Visualizing and Simulating Nondeterministic Pushdown Automata},
	booktitle = {Computational Support for Discrete Mathematics},
	series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
	volume = {15},
	year = {1994},
	pages = {365-377},
	publisher = {American Mathematical Society},
	organization = {American Mathematical Society},
	author = {D. Caugherty and Susan H. Rodger},
	editor = {N. Dean and G.E. Shannon}