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, v. 62, fev. 2025, doi: 10.18265/2447-9187a2024id8404.