Constraint Programming in OPL
The Oz Programming Model