Why would ambiguity be a problem?
Why are mathematical notions, such as sets, a good foundation for specifications?
What is the difference between preconditions, post-conditions, and invariants?
What kind of questions are specifications supposed to be able to answer?