Methods and Applications of Error-Free Computation door E.V. Krishnamurthy & R.T. Gregory