Duarte, J., & 		Ravara, A.
2021 Sep 30.  Retrofitting Typestates into Rust. Proceedings of the Brazilian Symposium on Programming Languages (SBLP). [Online] :