Formal verification of floating-point hardware design a mathematical approach - Russinoff, David M. (Springer Nature Switzerland AG, 2019)