1. L. Bernadin. Maple on a Massively Parallel, Distributed Memory Machine. In PASCO’97 — Second Int. Symp. on Parallel Symbolic Computation, pages 217–222, Maui, Hawaii, July 20–22, 1997. ACM Press.
2. A. Diaz and E. Kaltofen. FoxBox: A System for Manipulating Symbolic Objects in Black Box Representation. In O. Gloor, editor, ISSAC’98 Int. Symp. on Symbolic and Algebraic Comp. ACM Press, New York, 1998.
3. H.W. Loidl, P.W. Trinder, K. Hammond, S.B. Junaidu, R.G. Morgan, and S.L. Peyton Jones. Engineering Parallel Symbolic Programs in GPH. Concurrency — Practice and Experience, 11(12):701–751, 1999.
4. H.W. Loidl. LinSolv: A Case Study in Strategic Parallelism. Proceedings of the Glasgow Workshop on Functional Programming, Ullapool, Scotland, 1997.
5. C. Mittermaier. Parallel Algorithms in Constructive Algebraic Geometry. Master’s thesis, Johannes Kepler University, Linz, Austria, 2000.