C. A. N. Marques, M. A. F. da Silva, J. L. S. de Andrade, e A. F. Milanez, “Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo”, Rev. Principia, vol. 62, jan. 2025.