أرسل هذا في رسالة قصيرة: Symposium on semantics of algorithmic languages