Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks. Typestate-oriented programming. In Shail Arora, Gary T. Leavens, editors, Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. pages 1015-1022, ACM, 2009. [doi]
@inproceedings{AldrichSSS09, title = {Typestate-oriented programming}, author = {Jonathan Aldrich and Joshua Sunshine and Darpan Saini and Zachary Sparks}, year = {2009}, doi = {10.1145/1639950.1640073}, url = {http://doi.acm.org/10.1145/1639950.1640073}, tags = {object-oriented programming, programming, subject-oriented programming, feature-oriented programming}, researchr = {https://researchr.org/publication/AldrichSSS09}, cites = {0}, citedby = {0}, pages = {1015-1022}, booktitle = {Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA}, editor = {Shail Arora and Gary T. Leavens}, publisher = {ACM}, isbn = {978-1-60558-768-4}, }