Programming Constraint Services: High-Level Programming of Standard and New Constraint Services - Christian Schulte