Once programmers understand exactly what the program must do and have created the final problem statement, they can begin developing a detailed $\_\_\_\_\_\_\_\_\_\_$ a set of specific, sequential steps that describe in natural language exactly what the computer program must do to complete its task.