Alternative forms with orders of the lax equivalence theorem in Banach spaces. - P. L. Butzer; W. Dickmeis; Hu. Jansen; R. J. Nessel (Computing, 1977)