Program Backlog Refinement