Bisimulations on planet Kripke - Gerbrandy, Jelle (Instituut voor Taal, Logica en Informatie <Amsterdam>: ILLC dissertation series, 1999)