Advanced topics in bisimulation and coinduction - Sangiorgi, Davide; Rutten, Johannes Josephus Martinus Matheus (Cambridge tracts in theoretical computer science ;, 2012)