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