Tom Gilb and Kai Gilb's planguage allow you to express requirements is a precise, concise, coherent and complete way.