An Improved Bound for Checking Experiments that Use Simple Input-Output and Characterizing Sequences. - Theodore T. Tylaska; James D. Bargainer (IEEE Trans. Computers, 1975)