Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications