Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293