Typestates for Objects. (2004)

by R DeLine, M Fahndrich
Venue:In ECOOP,