1. 2020. GCC libquadmath. https://gcc.gnu.org/onlinedocs/libquadmath/. 2020. GCC libquadmath. https://gcc.gnu.org/onlinedocs/libquadmath/.
2. 2020. The GNU MPFR Library. https://www.mpfr.org/. 2020. The GNU MPFR Library. https://www.mpfr.org/.
3. 2021. ARM developer: Floating Point. https://developer.arm.com/architectures/instruction-sets/floating-point. 2021. ARM developer: Floating Point. https://developer.arm.com/architectures/instruction-sets/floating-point.
4. 2021. EEMBC FPMark Floating-Point Benchmark Suite. https://www.eembc.org/fpmark/. 2021. EEMBC FPMark Floating-Point Benchmark Suite. https://www.eembc.org/fpmark/.
5. Automatic verification of control system implementations