Text this: Action refinement in process algebras