Hollenberg, M. 1995. Safety for Bisimulation in General Modal Logic. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 359–376.