Typestates for objects (2004)

by R DeLine, M Fähndrich
Venue:In ECOOP: Object-Oriented Programming, 18th European Conference