J. Duarte and A. Ravara.
"Retrofitting Typestates into Rust", in <em>Anais do XXV Simpósio Brasileiro de Linguagens de Programação</em>, Joinville, 2021, pp. 83–91.