Program Optimization Using Invariants - Katz, S (IEEE Transactions on Software Engineering)