Constraint programming languages their specification and generation. - Leler, Wm (Addison-Wesley Publishing Company, 1988)