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