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