Rodrigues C, Oliveira JN, Barbosa LS.? 2009.??A Single Complete Relational Rule for Coalgebraic Refinement. Electronic Notes in Theoretical Computer Science. 259:3-19.