Paleri, VK, Srikant YN, Shankar P.  2003.  Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. Sci. Comput. Program.. 48:1-20., Number 1