The operator gap theorem in ...-recursion theory. Robert A. Di Paola (1978) Archiv für mathematische Logik und Grundlagenforschung
Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis] Pavol Ďuriš (1989) Commentationes Mathematicae Universitatis Carolinae