Duarte, J., & 		Ravara, A.
(2021).
Retrofitting Typestates into Rust.
In <em>Anais do XXV Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 83–91). Porto Alegre: SBC.