Computer arithmetic and formal proofs verifying floating-point algorithms with the coq system - Boldo, Sylvie; Melquiond, Guillaume (ISTE Press Ltd, 2017)
Literaturverzeichnis Seite [289]-299