1. T. Bubeck. Eine Systemumgebung zum verteilten funktionalen Rechnen. Technical Report WSI-93-8, Eberhard-Karls-Universität Tübingen, August 1993.
2. T. Bubeck, W. Küchlin, and W. Rosenstiel. Symmetric Distributed Computing with Dynamic Load Balancing and Fault Tolerance. In B. Szymanski, editor, Proc. 3rd workshop on Languages, Compilers and Run-Time Systems for Scalable Computers, Troy, New York, May 1995. Kluwer. to appear.
3. Buchberger, Collins, Encarnación, Hong, Johnson, Krandick, Loos, Mandache, Neubacher, and Vielhaber. Saclib user's guide, 1993. On-line software documentation.
4. volume 854 of LNCS,1994
5. R. Bündgen, M. Göbel, and W. Küchlin. A fine-grained parallel completion procedure. In J. von zur Gathen and M. Giesbrecht, editors, Proc. 1994 International Symposium on Symbolic and Algebraic Computation: ISSAC'94, pages 269–277, Oxford, England, July 1994. ACM Press.