by Randal E. Bryant and David R. O’Hallaron (2015)

Data

Floating-point

References: