Typestates for Objects.

Robert DeLine, Manuel Fhndrich

Browse the full ECOOP paper archive.