The arithmetic of digital computer: A new approach (1986)

by U Kulisch, W L Miranker
Venue:Siam Review