advanced topics in bisimulation and coinduction

sangiorgi, davide (edt)/ rutten, jan (edt) · cambridge univ pr