Bisimulation and bounded bisimulation - Gerbrandy, Jelle (ILLC, 1997)