Jaspars, Jan, and Emiel Krahmer. 1995. “A Programme of Modal Unification of Dynamic Theories”. Proceedings of the Amsterdam Colloquium, December, 425-44. https://platform.openjournals.nl/PAC/article/view/24649.