Frank W. J. Olver: A closed computer arithmetic. IEEE Symposium on Computer Arithmetic 1987: 139-143