J. Silva, B. Silva Junior, L. Foss, and S. Cavalheiro.
" Problem-solving Systematization: Introducing Formal Methods in Basic Education", in <em>Anais do VII Workshop-Escola de Informática Teórica</em>, Rio Grande/RS, 2023, pp. 71-78, doi: <a href="https://doi.org/10.5753/weit.2023.26599">https://doi.org/10.5753/weit.2023.26599</a>.