Undo/Redo operations in Bitmap-based Collaborative Graphic Editing Systems