Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich. Foundations of Typestate-Oriented Programming. ACM Transactions on Programming Languages and Systems, 36(4):12, 2014. [doi]
@article{GarciaTWA14, title = {Foundations of Typestate-Oriented Programming}, author = {Ronald Garcia and Éric Tanter and Roger Wolff and Jonathan Aldrich}, year = {2014}, doi = {10.1145/2629609}, url = {http://doi.acm.org/10.1145/2629609}, researchr = {https://researchr.org/publication/GarciaTWA14}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {36}, number = {4}, pages = {12}, }