@Book{SST83,
    Author       = "Schwabbauser, W. and Szmielew, W. and Tarski, A.",
    Year         = "1983",
    Title        = "{Metamathematische Methoden in der Geometrie}",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}