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

Diehl S, Kerren A, Weller T. Visual Exploration of Generation Algorithms for Finite Automata. In: Implementation and Application of Automata. Vol 2088. Springer; 2001. p. 327-8. (Lecture Notes on Computer Science, LNCS; vol 2088).