Jaspars, J. and Krahmer, E. 1995. A Programme of Modal Unification of Dynamic Theories. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 425–444.