Mark F. Russo, Richard L. Peskin: Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value Problems. J. Autom. Reason. 8(3): 395-419 (1992)