Matsue, Kaname. 2017. “Rigorous Numerics for Fast-Slow Systems With One-Dimensional Slow Variable: Topological Shadowing Approach”. Topological Methods in Nonlinear Analysis 50 (2):357-468. https://apcz.umk.pl/TMNA/article/view/TMNA.2016.072.