Jurriaan Rot Marcello M. Bonsangue Jan J. M. M. Rutten Coalgebraic Bisimulation-Up-To. 369-381 2013 conf/sofsem/2013 SOFSEM https://doi.org/10.1007/978-3-642-35843-2_32 db/conf/sofsem/sofsem2013.html#RotBR13