Marques, Caio Alberto Nunes, et al. “Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo”. Revista Principia, v. 62, fevereiro de 2025, https://doi.org/10.18265/2447-9187a2024id8404.