The Pseudoexhaustive Test of Sequential Circuits
H.-J. Wunderlich, S. Hellebrand, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 11 (1992) 26–33.