Constraint logic programming using ECLiPSe - Apt, Krzysztof R. 1949- (Cambridge University Press, 2007)