Introduction to Bisimulation and Coinduction - Davide Sangiorgi (Cambridge University Press, 2012)