Naumann, R. 1995. Aspectual Composition and Dynamic Logic. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 567–586. DOI:https://doi.org/10.53437/9pmb4m65.