Jonathan Aldrich Joshua Sunshine Darpan Saini Zachary Sparks Typestate-oriented programming. 1015-1022 2009 OOPSLA Companion http://doi.acm.org/10.1145/1639950.1640073 conf/oopsla/2009c db/conf/oopsla/oopsla2009c.html#AldrichSSS09