A convenient setting for holomorphy A. Kriegl, L. D. Nel (1985) Cahiers de Topologie et Géométrie Différentielle Catégoriques
A rank theorem for analytic maps between power series spaces Herwig Hauser, Gerd Müller (1994) Publications Mathématiques de l'IHÉS