Bahar Aameri, Michael Grüninger: A Representation Theorem for Change through Composition of Activities. ACM Trans. Comput. Log. 20(4): 20:1-20:31 (2019)