@article{CTGDC_1980__21_3_227_0,
     author = {Kock, Anders},
     title = {Formal manifolds and synthetic theory of jet bundles},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {227--246},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {21},
     number = {3},
     year = {1980},
     mrnumber = {591385},
     zbl = {0434.18012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CTGDC_1980__21_3_227_0/}
}