Just how to Write a Complex Specification