Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten: Coalgebraic Bisimulation-Up-To. SOFSEM 2013: 369-381