Formalizing SML's arithmetic by tracking cumulated error bounds (1992)

by Rob Harley