Henson Graves Lee Blaine The ALGOS Computational System. 179-180 1985 conf/eurocal/1985-2 European Conference on Computer Algebra (2) db/conf/eurocal/eurocal1985-2.html#GravesB85