Bisimulations on planet Kripke - Gerbrandy, Jelle (Inst. for Logic, Language and Computation, Univ.van Amsterdam, 1999)