A functional analytic approach to validated numerics for eigenvalues of delay equations. - Lessard, J. P.; James, J. D. Mireles (Journal of Computational Dynamics, 2020)