Appel, Andrew W., and Yves Bertot. “C Floating-Point Proofs Layered With VST and Flocq”. Journal of Formalized Reasoning 13, no. 1 (January 1, 2020): 1–16. Accessed October 19, 2021. https://jfr.unibo.it/article/view/11442.