A Deductive Method for Simulating Faults in Logic Circuits.

Douglas B. Armstrong
Published in: IEEE Trans. Computers (1972)