Partial redundancy elimination: A simple, pragmatic, and provably correct algorithm.
scientific article; zbMATH DE number 1963786