Zalewski, M. (2009). Computer-assisted proof of a periodic solution in a nonlinear feedback DDE. Topological Methods in Nonlinear Analysis, 33(2), 373–393. Retrieved from https://apcz.umk.pl/TMNA/article/view/TMNA.2009.025