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