Lutz Eichner Lineare Realisierbarkeit endlicher Automaten über endlichen Körpern Acta Inf. 3 1973 75-100 db/journals/acta/acta3.html#Eichner73