Szczelina Robert:   A computer assisted proof of multiple periodic orbits in some first order non-linear delay differential equation.  (2016)