Naumann, R. Aspectual Composition and Dynamic Logic. Proceedings of the AC 1995, 567-586.