Marques, Caio Alberto Nunes, et al. “Linguagens E Ferramentas Utilizadas Na Especificação Formal de Software: Uma Revisão de Escopo”. Revista Principia, vol. 62, Feb. 2025, https://doi.org/10.18265/2447-9187a2024id8404.