That sounds hard to do in a natural language. Maybe they could deliver the unambiguous specification in a formal language designed specifically for the purpose of specifying what programs are supposed to do.
I was half joking, because software development is largely the process of developing an unambiguous specification - just in the form of executable code.