A categorical framework for the transformation of object-oriented systems: models and data
scientific article; zbMATH DE number 5865430