Constraint programming languages : their specification and generation - Leler, Wm (Addison-Wesley series in computer science (Addison-Wesley)., 1988)