Juris Hartmanis Wayne A. Davis Homomorphic Images of Linear Sequential Machines. 155-165 1967 1 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss1.html#HartmanisD67