Constraint programming languages. their specification and generation - Leler, W.M (Addison-Wesley, 1988)