"Finite Automata with Generalized Acceptance Criteria."

Timo Peichl, Heribert Vollmer (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics