A Case Study of A Multithreaded Buchberger Normal Form Algorithm. - Andy James Linfoot (2006)