Programming constraint services : high-level programming of standard and new constraint services - Schulte, Christian, Dr.-Ing (Springer, 2002)