Synthetic differential geometry. - Kock, A. (Cambridge University Press, 1981)