Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola, ed.
"Sponsored by the Research Institute for Symbolic Computation (University J. Kepler, Linz, Austria) and by the Dipartimento di informatica e sistemistica (University "La Sapienza", Roma, Italy)"--Foreword.