The Arithmetic of the Digital Computer: A New Approach (1986)

by U W Kulish, W L Miranker
Venue:SIAM Review