Text this: Languages for system specification :