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

ALGLIB, A Simple Symbol-Manipulation Package. - J. M. Shearer; Michael A. Wolfe (Commun. ACM, 1985)

Some algorithms for the solution of a class of nonlinear algebraic equations. - J. M. Shearer; Michael A. Wolfe (Computing, 1985)