Applying Refinement Calculi to Software Process Modelling