Lightweight object specification with typestates (2005)

by K Bierhoff, J Aldrich
Venue:ESEC/SIGSOFT FSE