"Non-Uniform Automata Over Groups."

David A. Mix Barrington, Denis Thérien (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics