HOW TO WRITE A SPECIFICATION