Experimental evaluation of certification trails using abstract data type validation. - Dwight S. Wilson; Gregory F. Sullivan; Gerald M. Masson (COMPSAC, 1992)

Certification Trails and Software Design for Testability. - Gregory F. Sullivan; Dwight S. Wilson; Gerald M. Masson (ITC, 1993)

Certification of Computational Results. - Gregory F. Sullivan; Dwight S. Wilson; Gerald M. Masson (IEEE Trans. Computers, 1995)