SMS dit: Advanced topics in bisimulation and coinduction edited by Davide Sangiorgi, Jan Rutten. [electronic resource] /