T. da S. Almeida e A. Luiz Gomes de Freitas, “Evaluation of Clause-Column Table method to design of MIC hazard-free in asynchronous finite state machines”, Academic Journal on Computing, Engineering and Applied Mathematics, v. 1, n. 2, p. 1–8, jun. 2020.