Regular Language over countably infinite Alphabets. - Otto, Friedrich (Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht, 1981)