There's already been quite a bit of work on applying technology to contract law relating to contracts (primarily, but not exclusively, financial contracts). There was a discussion about this on Lambda the Ultimate a while ago, if you're interested: http://lambda-the-ultimate.org/node/2973