Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. - David G. Richardson; Werner Krandick (CASC, 2005)

High-performance implementations of the Descartes method. - Jeremy R. Johnson; Werner Krandick; Kevin Lynch; David G. Richardson; Anatole D. Ruslanov (ISSAC, 2006)