O. I. Tymoshkin, “About the necessary and sufficient condition for the existence validation of functional test of minimum possible length for a one-dimensional iterative patterns”, STP, no. 21, pp. 216–218, Apr. 2008.