Atomic refinement in process description languages