Languages for System Specification