أرسل هذا في رسالة قصيرة: An algebraic approach to multi-sorted constraints