Fundamentals of submersions and immersions between infinite-dimensional manifolds
H. Glöckner, (2015).