A Problem statement and a(n) ( ) are often combined into a document called the program specification, which is essenticlly a blueprint for a computer program. ( ) is a formula or set of step for solving a particular problem. To be a(n) ( ), a set of rules must be unambiguous and have a clear stopping point.