Category semantics for fusion and refinement of multi-sorted specifications.

Jerzy Tomasik, Jerzy Weyman

Browse the full FUSION paper archive.