Specifying contractual obligations