Naumann, R. Aspectual Composition and Dynamic Logic. Proceedings of the AC 1995, 567-586. https://doi.org/10.53437/9pmb4m65.