Marques, C. A. N., 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”. Revista Principia, vol. 62, janeiro de 2025, doi:10.18265/2447-9187a2024id8404.