The Replacement Operation for CCP Programs. - Marco Bertolino; Sandro Etalle; Catuscia Palamidessi (APPIA-GULP-PRODE, 1999)