Bonchi F, Hülsbusch M, König B, Silva A.? 2011.??A coalgebraic perspective on minimization, determinization and behavioural metrics. :1-23.