Ulrich W. Kulisch: Mathematical foundation of computer arithmetic. IEEE Symposium on Computer Arithmetic 1975: 1-13