Paleri, VK and Srikant, YN and Shankar, P (2003) Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. In: Science of Computer Programming, 48 (1). pp. 1-20.