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