Thomas Benda
, 2015, 'An axiomatic foundation of relativistic spacetime',
Synthese
192 (7), 2009-2024.