Siekmann Jorg Symbolic Computation - New York Springer-Verlag 1983 - ix-525 ISBN: 387120432 Dewey Class. No.: 1 / 642 A8