Transposing partial components: an exercise on coalgebraic refinement - Oliveira, José Nuno Fonseca (2006)