Methods and applications of error-free computation / R. T. Gregory ; E. V. Krishnamurthy. New York [u.a.] : Springer, 1984