Introduction to bisimulation and coinduction - Sangiorgi, Davide (Cambridge University Press, 2012)