Principles of constraint programming - Krzysztof, Apt R. (Cambridge University Press, 2003)