Becker, Heiko Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;
https://scidok.sulb.uni-saarland.de/handle/20.500.11880/34919 (beliebiger Volltext)
Becker, H. (2022). Verified Compilation and Optimization of Floating-point Kernels. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-38688.