Formal Verification of Floating-Point Hardware Design - Russinoff (Springer International Publishing, 2019)