Duarte, J., & 		Ravara, A.
2021 set 30.  Retrofitting Typestates into Rust. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :