@article{10_1017_S001708950000971X,
     author = {Cutland, Nigel J. and Hanqiao, Feng},
     title = {An infinitesimal proof of the implicit function theorem},
     journal = {Glasgow mathematical journal},
     pages = {163--166},
     year = {1993},
     volume = {35},
     number = {2},
     doi = {10.1017/S001708950000971X},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/S001708950000971X/}
}