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