Duarte, José, AND 		Ravara, Antônio.
" Retrofitting Typestates into Rust" <em>Proceedings of the Brazilian Symposium on Programming Languages (SBLP)</em> [Online], (30 September 2021)