CSP is a retract of CCS
scientific article; zbMATH DE number 5687500
scientific article