A categorical framework for the transformation of object-oriented systems: Models and data

Christoph Schulz, Michael Löwe, Harald König. A categorical framework for the transformation of object-oriented systems: Models and data. Journal of Symbolic Computation, 46(3):316-337, 2011. [doi]

Abstract

Abstract is missing.