D. Y. Ivanov, “GENETIC APPROACH TO THE VERIFYING OF THE SEQUENTIAL CIRCUITS”, RIC, no. 1, Sep. 2008.