Guidelines on Writing Effective Specifications