Documentation Integrity for Safety-Critical Applications: The COHERE Project. - David G. Novick; Joel Juillet (SIGDOC, 1998)