Generation of Shortest Test Sequences for Detecting Individual Faults of Sequential Circuits. - Stephen S. Yau; Y. S. Tang (Comput. J., 1979)