M. Imanaliev, P. S. Pankov, G. M. Kenenbaeva, “An algorithm for guaranteed bounds of solutions of singularly
perturbed ordinary differential equations and autonomous systems of the
second order, and the singular cycle phenomenon”, Dokl. Akad. Nauk, 354:6 (1997), 733–735
