"Constraint Processing: Selected Papers (Lecture Notes in Computer Science)" - читать интересную книгу автора (Manfred Meyer)