"Application of Lattice Algebra to Loop Optimization."

Amelia C. Fong, John B. Kam, Jeffrey D. Ullman (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics