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