Hollenberg, Marco. “Safety for Bisimulation in General Modal Logic”. Proceedings of the Amsterdam Colloquium, Dec. 1995, pp. 359-76, https://platform.openjournals.nl/PAC/article/view/24645.