Jaspars, J., & Krahmer, E. (1995). A Programme of Modal Unification of Dynamic Theories. Proceedings of the Amsterdam Colloquium, 425-444. https://doi.org/10.53437/0stvsw14