Ribeiro, C., 		Silvestre, B., & 		Ventura, D.
2024 jul 21.  Sistemas de Tipos para Programação Concorrente Um Estudo de Caso. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :