1. BUCHBERGER, B. & MENZEL, W. (1977), Simulation-universal automata, Interner Bericht Nr. 14/77, Institut für Informatik I, Universität Karlsruhe
2. MAIER, W., MENZEL, W. & SPERSCHNEIDER, V. (1982), Embedding properties of total recursive functions, Zeitschrift f. Math. Logik und Grundlagen der Mathematik, Band 28
3. MAL'CEV, A.I. (1970), Algorithms and recursive functions, Groningen
4. MENZEL, W. & SPERSCHNEIDER, V. (1982), Universal automata with uniform bound on simulation time, Information and Control, Vol. 52
5. POUR-EL, M. & HOWARD, W.A. (1964), A structural criterion for recursive enumeration without repetition, Zeitschrift f. Math. Logik u. Grundl. der Mathematik, Band 10