Schulz, Christoph, Michael Löwe, and Harald König. “Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods”. Electronic Communications of the EASST 26 (April 4, 2010). Accessed November 23, 2024. https://eceasst.org/index.php/eceasst/article/view/1645.