%0 Conference Paper
%B Proceedings of 10th International Conference on Algebraic Methodology and Software Technology - AMAST
%D 2004
%T On Refinement of Generic Software Components
%A Sun Meng
%A Luis Soares Barbosa
%E C. Rettray
%E S. Maharaj
%E C. Shankland
%C Scotland, UK
%I Springer
%P 506–520
%S Lecture Notes in Computer Science
%V 3116
%X <p>This paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs. </p>
%8 July
%> https://haslab.uminho.pt/sites/default/files/lsb/files/refiamast.pdf