Programming constraint services high level programming of standard and new constraint services (Springer, 2002)