Bernd Reusch Linear Realization of Finite Automata. 146-168 1977 15 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss15.html#Reusch77