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