Computing Progression Documents