Methods and applications of error-free computation - Gragory R T; Krishna murthy E V (New York Springer-Verlag, 1984)
Bibliography 186-90p