José Duarte and Antônio Ravara. 2021.
Retrofitting Typestates into Rust. In <em>Anais do XXV Simpósio Brasileiro de Linguagens de Programação</em>, setembro 30, 2021, Joinville, Brasil. SBC, Porto Alegre, Brasil, 83–91.