Schulz, C.; Löwe, M.; König, H. Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods. eceasst 2010, 26.