Basic concepts of synthetic differential geometry - Lavendomme, Rene (Kluwer, 1996)