Дерипаска, А. О. Языки задания ограничений. CTE 2014.