Ronald Morrison, A. J. Cole, Peter J. Bailey, Michael A. Wolfe, J. M. Shearer: Experience with a high level language that supports interval arithmetic. IEEE Symposium on Computer Arithmetic 1983: 74-78