Extending typestate checking using conditional liveness analysis (1993)

by Robert E Strom, Daniel M Yellin
Venue:IEEE Transactions on Software Engineering