GEOMETER: A Theorem Prover for Algebraic Geometry. - David Cyrluk; Richard M. Harris; Deepak Kapur (CADE, 1988)

Practical Profiles for Managing Systems Engineering R&D. - William W. Agresti; Richard M. Harris (IEEE Trans. Engineering Management, 2009)