Jaspars, J., & Krahmer, E. (1995). A Programme of Modal Unification of Dynamic Theories. Proceedings of the Amsterdam Colloquium, 425-444. https://platform.openjournals.nl/PAC/article/view/24649