(1)
Appel, A. W.; Bertot, Y. C Floating-Point Proofs Layered With VST and Flocq. JFR 2021, 13, 1-16.