An abstract data-type technique for scientific software. - T. J. O'Neill; L. M. Delves (Softw. Eng. J., 1987)