Lu, P., Li, B., Che, Y., & Wang, Z. (2011). PIT: A Framework for Effectively Composing High-Level Loop Transformations. Computing and Informatics, 30(5), 943–963. https://cai.type.sk/content/2011/5/pit-a-framework-for-effectively-composing-high-level-loop-transformations/