A Logic Design Procedure to Facilitate Fault Detection - Ralph William Shrader (1971)