A formal construction of the spacetime manifold
scientific article; zbMATH DE number 5577828