A Formal Theory
of Register-Transfer Logic
and Floating-Point Arithmetic








David M. Russinoff









David Russinoff 2017-08-01