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