Barbosa LS, Oliveira JN.? 2006.??Transposing Partial Components: an Exercise on Coalgebraic Refinement. Theoretical Computer Science. 365:2-22.