Transposing partial components: an exercise on coalgebraic refinement (2006)

by L S Barbosa, J N Oliveira
Venue:Theor. Comp. Sci