Languages for Automation in Law