Busse, Edgar (2006) Finite-State Genericity : on the Diagonalization Strength of Finite Automata. [Dissertation]