@book{borsuk,
  author = {Karol Borsuk and Wanda Szmielew},
  title = {Foundations of Geometry: Euclidean and Bolyai-Lobachevskian Geometry; Projective Geometry},
  publisher = {North-Holland Publishing Company},
  year = 1960,
  note = {Translated from Polish by Erwin Marquit}
}

@book {schwabhauser,
  author = {Wolfram Schwabh\"auser and Wanda Szmielew and Alfred Tarski},
  title = {Metamathematische Methoden in der Geometrie},
  year = 1983,
  publisher = {Springer-Verlag}
}

@mastersthesis {makarios,
  author = {Timothy James McKenzie Makarios},
  title = {A mechanical verification of the independence of {T}arski's {E}uclidean axiom},
  year = 2012,
  school = {Victoria University of Wellington, New Zealand},
  note = {\url{http://researcharchive.vuw.ac.nz/handle/10063/2315}}
}