Almeida, T. da S.; Luiz Gomes de Freitas, A. 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. 2020, 1, 1-8.