Zalewski, M. Computer-Assisted Proof of a Periodic Solution in a Nonlinear Feedback DDE. TMNA 2009, 33, 373-393.