Book

Decision problems of finite automata design and related arithmetics, technical report

by Calvin Creston Elgot, University of Michigan. Dept. of Mathematics