Issue No. 06 - June (1972 vol. 21)
C. E. Holborow , Department of Electrical Engineering, The Johns Hopkins University, Baltimore, Md. 21218.
The bound on the length of checking experiments derived by Murakami et al.  is improved by using a more efficient output specification in the counter cycle.
C. E. Holborow, "An Improved Bound on the Length of Checking Experiments for Sequential Machines with Counter Cycles", IEEE Transactions on Computers, vol. 21, no. , pp. 597-598, June 1972, doi:10.1109/TC.1972.5009016