P. Almeida, M. A.; Alves, D.; Santos, I. R.; Silva, K. P. ARITMÉTICA MODULAR APLICADA AOS SEMÁFOROS. CGCET 2015, 3, 55-64.