Formal verification of floating-point hardware design A mathematical approach - Russinoff, David (Springer, 2022)