Design and Evaluation of Coconut: Typestates for C++ - Alsubhi, Arwa Hameed; Dardha, Ornela; Gay, Simon J. (Science of computer programming, 2025)