Space, time, and mechanics. Basis structures of a physical theory. - Mayr, Dieter; Süssmann, Georg (Synthese Library, 1983)