Adilla Susungi: On the semantics of loop transformation languages. Programming 2018: 230-231