Advanced topics in bisimulation and coinduction - Sangiorgi, Davide, 1964-; Rutten, Jan (Cambridge tracts in theoretical computer science ;, 2011)