Added new draft about bisimulation