Kaustuv Chaudhuri Matteo Cimini Dale Miller 0001 A Lightweight Formalization of the Metatheory of Bisimulation-Up-To. 157-166 2015 CPP https://doi.org/10.1145/2676724.2693170 conf/cpp/2015 db/conf/cpp/cpp2015.html#ChaudhuriCM15