أرسل هذا في رسالة قصيرة: Relational and algebraic methods in computer science :