Synthetic differential geometry
Kock, Anders.
Cambridge Cambridge University Press
1981
Bibliography: p304-309. - Includes index
Geometry, Differential.