Rybakowski, K.P. 1993. On proving existence and smoothness of invariant manifolds in singular perturbation problem. Topological Methods in Nonlinear Analysis. 2, 1 (Sep. 1993), 21–34.