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