"Distance driven finite state machine traversal."

Andreas Hett, Christoph Scholl, Bernd Becker (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics