Lightweight object specification with typestates (0)

by K Bierhoff, J Aldrich
Venue:In FSE: 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering