Zalewski, M. “Computer-Assisted Proof of a Periodic Solution in a Nonlinear Feedback DDE”. Topological Methods in Nonlinear Analysis, vol. 33, no. 2, June 2009, pp. 373-9, https://apcz.umk.pl/TMNA/article/view/TMNA.2009.025.