A Program Transformations Methodology for CCS