Ulrich W. Kulisch, W. Van Snyder: The exact dot product as basic tool for long interval arithmetic. Computing 91(3): 307-313 (2011)