P. Lu, B. Li, Y. Che, and Z. Wang, “PIT: A Framework for Effectively Composing High-Level Loop Transformations”, Comput. Inform., vol. 30, no. 5, pp. 943–963, Jan. 2012.