Ultraproduits des groupes finis et applications à la théorie de Galois Klaus Potthoff — 1979 Publications du Département de mathématiques (Lyon)
A simple tree and its application to a counterexample of Philips. Klaus Potthoff — 1977 Archiv für mathematische Logik und Grundlagenforschung