Kock, A. Synthetic geometry of manifolds - Cambridge Cambridge University Press 2009 - xiii, 302p. - Cambridge tracts in mathematics. 180. . ISBN: 978-0-521-11673-2