9. The computer readable storage medium according to claim 7 , wherein said termination condition comprises detecting that said abstract documents have not been changed by said applied operations.
9. The computer readable storage medium according to claim 7 , wherein said termination condition comprises detecting that said abstract documents have not been changed by said applied operations. 10. The computer readable storage medium according to claim 9 , further comprising the step of: repeating said use of said operations at least one time before said step of verifying, in response to detection of non-occurrence of change of said abstract documents by said applied operations.