Synthetic Geometry of Manifolds by Anders Kock