Lu, P.; Li, B.; Che, Y.; Wang, Z. PIT: A Framework for Effectively Composing High-Level Loop Transformations. Comput. Inform. 2012, 30, 943-963.