Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski. Ein axiomatischer Aujbau der euklidischen Geometrie. Metamathematische Methoden in der Geometrie, Hochschultext, Springer-Verlag, Berlin etc. 1983, pp. 1–171. - Wolfram Schwabhäuser. Metamathematische Betrachtungen. Metamathematische Methoden in der Geometrie, pp. 173–457