Lu, P. et al. 2012. PIT: A Framework for Effectively Composing High-Level Loop Transformations. Computing and Informatics. 30, 5 (Jan. 2012), 943–963.