Tree Acceptors and Some of Their Applications. - John Doner (J. Comput. Syst. Sci., 1970)

Erratum: Tree Acceptors and Some of Their Applications. - John Doner (J. Comput. Syst. Sci., 1971)

Alfred Tarski and Decidable Theories. - John Doner; Wilfrid Hodges (J. Symb. Log., 1988)