Proc Intl Symp Symb Alg Comp, Berkeley 1992
(1992)
Dalmas, S (1992)
Dalmas, S "A Polymorphic Functional language Applied to Symbolic Computation"