[Double-Double Building Blocks]
M. Joldes, V. Popescu, and J.M. Muller.
Tight and rigourous error bounds for basic building blocks of double-word arithmetic
2016, working paper.

[Triple-Double Building Blocks]
Christoph Quirin Lauter.
Basic building blocks for a triple-double intermediate format
2005, research report.

[Multiple Precision]
V. Popescu.
Towards fast and certified multiple-precision librairies.
2017, thesis.

A Thread-Safe Arbitrary Precision Computation Package
David H. Bailey ∗
March 20, 2017

[Faithful Floats]
M. Lange and S.M. Rump.
Faithfully Rounded Floating-point Computations
2017, preprint.

Nelson H.F. Beebe
The Mathematical-Function Computation Handbook
Springer, 2017, book
J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefevre,
    G. Melquiond, N. Revol, D. Stehle, and S. Torres.
Handbook of Floating-Point Arithmetic
Birkhauser Boston, 2010, book