1. Admissible sets and structures. Berlin, Heidelberg, New York 1975.
2. and , A calculus for recursive program schemes. In: M. NIVAT (ed.), Automata, languages and programming. 167–196. Amsterdam, London, New York 1973.
3. Automata, languages and machines, Bd. A. New York, London 1974.
4. and , Recursiveness. New York, London 1970.