Hints for Writing Specifications