"Constraint Programming Languages: Their Specification and Generation" - читать интересную книгу автора (Wm Leler)