Writing a spec (Programming)