Zalewski, M. 2009. Computer-assisted proof of a periodic solution in a nonlinear feedback DDE. Topological Methods in Nonlinear Analysis. 33, 2 (Jun. 2009), 373–393.