M. Zalewski, “Computer-assisted proof of a periodic solution in a nonlinear feedback DDE”, TMNA, vol. 33, no. 2, pp. 373–393, Jun. 2009.