Cláudio Ribeiro, Bruno Silvestre, and Daniel Ventura. 2024.
 Sistemas de Tipos para Programação Concorrente Um Estudo de Caso. In <em>Anais do V Workshop Brasileiro de Lógica</em>, julho 21, 2024, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 27-37. DOI: <a href="https://doi.org/10.5753/wbl.2024.3206">https://doi.org/10.5753/wbl.2024.3206</a>.