Hoover, 1997. Limiting semantics of numerical programs 176.. https://doi.org/10.1016/s0304-3975(96)00050-3