A top-level specification that is written in a natural language (e.g., English,) an informal program design notation, or a combination of the two.