Constraint and Integer Programming in OPL. - Van Hentenryck, Pascal (INFORMS Journal on Computing, 2002)