Duarte, J., & Ravara, A. Retrofitting Typestates into Rust (Version 0.8.0) [Computer software]. https://doi.org/10.1145/3475061.3475082