Return to Article Details Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods Download Download PDF