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. Academic Journal on Computing, Engineering and Applied Mathematics 2020, 1, 1-8.