Constraint programming languages:their specification and generation - Leler, Wm (Reading Addison-Wesley, 1988)