Robert DeLine, Manuel Fähndrich: Typestates for Objects. ECOOP 2004: 465-490