Naumann, R. (1995). Aspectual Composition and Dynamic Logic. Proceedings of the Amsterdam Colloquium, 567-586. https://platform.openjournals.nl/PAC/article/view/24657