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”, Acad. Journal on Comp., Eng. and Appl. Math., vol. 1, nº 2, p. 1–8, jun. 2020.