Ueber die Umkehrung der Systeme von Functionen reeller Variabeln A. Kneser (1894) Mathematische Annalen
Un théorème de fonctions implicites sur certains espaces de Fréchet et quelques applications Francis Sergeraert (1972) Annales scientifiques de l'École Normale Supérieure