Marques, C. A. N.; Silva, M. A. F. da; Andrade, J. L. S. de; Milanez, A. F. Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo. Rev. Principia 2025, 62. https://doi.org/10.18265/2447-9187a2024id8404.