The categorical framework of object-oriented concurrent systems
scientific article; zbMATH DE number 120317