The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I. - Friedrich Goerisch; Zhiqing He (Computer Arithmetic and Self-Validating Numerical Methods, 1990)