Julia Padberg Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. 333-364 2008 16 Applied Categorical Structures 3 http://dx.doi.org/10.1007/s10485-007-9105-4 db/journals/acs/acs16.html#Padberg08