Methods and applications of error-free computation - Gregory, Robert Todd (Springer, 1984)