A monotone framework for CCS
scientific article; zbMATH DE number 6869009