On Specifying Contract Negotiations