A Cooperative Environment for Editing Documents with Workflow Technology