Bisimulation and bounded bisimulation - Gerbrandy, Jelle (Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series, 1997)