A. Salomaa, “On a homomorphic characterization of recursively enumerable languages”, Ann. Fenn. Math., no. 525, Jan. 1973.