Text this: Constraint programming languages ; their specification and generation