1. H. Beck, Zur Entscheidbarkeit der funktionalen Äquivalenz, Automata Theory and Formal Languages Znd GI Conference, Springer Lecture Notes 33, 1975.
2. V. Claus, Crossing Functions I, Berichtsreihe der Abteilung Informatik an der Universität Dortmund 11/75.
3. H. Huwig, Beziehungen zwischen beschränkter syntaktischer und beschränkter primitiver Rekursion, Dissertation.
4. G. Hotz, Schaltkreistheorie, Walter de Gruyter, 1974.
5. K. Wöhl, Untersuchungen über das Äquivalenzproblem einfacher Programme, Dissertation (in Vorbereitung).