Matsue, K. “Rigorous Numerics for Fast-Slow Systems With One-Dimensional Slow Variable: Topological Shadowing Approach”. Topological Methods in Nonlinear Analysis, vol. 50, no. 2, Sept. 2017, pp. 357-68, https://apcz.umk.pl/TMNA/article/view/TMNA.2016.072.