Programming constraint services : high-level programming of standard and new constraint services - Schulte, Christian (Lecture notes in computer science, 2002)