Rigorous computation and the zeros of the Riemann zeta-function. - J. Barkley Rosser; J. Michael Yohe; Lowell Schoenfeld (IFIP Congress (1), 1968)