An Improved Las Vegas Primality Test. - Erich L. Kaltofen; Thomas Valente; Norika Yui (ISSAC, 1989)

DSC: A System for Distributed Symbolic Computation. - Angel Díaz; Erich L. Kaltofen; Kurt Schmitz; Thomas Valente (ISSAC, 1991)

Process Scheduling in DSC and the Large Sparse Linear Systems Challenge. - Angel Díaz; Markus A. Hitz; Erich L. Kaltofen; Austin Lobo; Thomas Valente (J. Symb. Comput., 1995)