Borchert, Bernd (1994) Predicate Classes, Promise Classes, and the Acceptance Power of Regular Languages. [Dissertation]