Kenneth B. Salomon The Decidability of a Mapping Problem for Generalized Sequential Machines with Final States. 200-218 1975 10 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss10.html#Salomon75