Duarte, José, E 		Ravara, Antônio.
" Retrofitting Typestates into Rust" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (30 setembro 2021)