M. A. P. Almeida, D. Alves, I. R. Santos, e K. P. Silva, “ARITMÉTICA MODULAR APLICADA AOS SEMÁFOROS”, CGCET, vol. 3, nº 1, p. 55–64, out. 2015.