Typestates for Objects R. DeLine and M. Fähnrich In Proceedings of the European Conference on Object-oriented Programming (ECOOP '04), June 2004. Presented.