Text this: Languages for System Specification