Category semantics for fusion and refinement of multi-sorted specifications | IEEE Conference Publication | IEEE Xplore