Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata. - Klaus Ambos-Spies; Edgar Busse (DMTCS, 2003)

Computational Aspects of Disjunctive Sequences. - Klaus Ambos-Spies; Edgar Busse (MFCS, 2004)

Finite-state genericity: on the diagonalization strength of finite automata. - Edgar Busse (2006)