Effective typestate verification in the presence of aliasing. (2008)

by S J Fink, E Yahav, N Dor, G Ramalingam, E Geay
Venue:ACM Transactions on Software Engineering and Methodology (TOSEM),