Vineeth Kumar Paleri, Y. N. Srikant, Priti Shankar: Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. Sci. Comput. Program. 48(1): 1-20 (2003)