Bruno Buchberger Jens Volkert Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings CONPAR Lecture Notes in Computer Science 854 Springer 1994 3-540-58430-7 db/conf/conpar/conpar1994.html