Ribeiro, Cláudio, 		Silvestre, Bruno, E 		Ventura, Daniel.
" Sistemas de Tipos para Programação Concorrente Um Estudo de Caso" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (21 julho 2024)