Zalewski, Mikołaj. 2009. “Computer-Assisted Proof of a Periodic Solution in a Nonlinear Feedback DDE”. Topological Methods in Nonlinear Analysis 33 (2):373-93. https://apcz.umk.pl/TMNA/article/view/TMNA.2009.025.