Or indeed natural language to instruct humans.

If it was easy to specify exactly the behaviour you wanted then we probably wouldn't have contract law.