Constraint programming languages ; their specification and generation - <LELER, William> (Addison-Wesley, Co.)