Implicit functions from topological vector spaces to Banach spaces
H. Glöckner, Isr. J. Math. 155 (2006) 205–252.