Geometric facts and geometric theory: Helmholtz and 20th-century philosophy of physical geometry - Carrier, Martin (Universalgenie Helmholtz, 1994)