PROCOL. A concurrent object-oriented language with protocols delegation and constraints
scientific article; zbMATH DE number 4195151