Transposing partial components--an exercise on coalgebraic refinement
scientific article; zbMATH DE number 5079003