Constraint Solving and Language Processing - Duchier (Springer Berlin Heidelberg, 2013)