Regular Languages Into Finite Automata

ftp://ftp.informatik.uni-freiburg.de/documents/reports/report33/

Back-link to spec