Jaspars, J.; Krahmer, E. A Programme of Modal Unification of Dynamic Theories. Proceedings of the AC 1995, 425-444.