Naumann, R. 1995. Aspectual Composition and Dynamic Logic. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 567–586.