Philip S. Santas A Type System for Computer Algebra. 79-109 1995 19 J. Symb. Comput. 1-3 db/journals/jsc/jsc19.html#Santas95