C. Ribeiro, B. Silvestre, and D. Ventura.
" Sistemas de Tipos para Programação Concorrente Um Estudo de Caso", in <em>Anais do V Workshop Brasileiro de Lógica</em>, Brasília/DF, 2024, pp. 27-37, doi: <a href="https://doi.org/10.5753/wbl.2024.3206">https://doi.org/10.5753/wbl.2024.3206</a>.