Programming Constraint Services : High-Level Programming of Standard and New Constraint Services - Christian Schulte ((Lecture Notes in Computer Science))