أرسل هذا في رسالة قصيرة: International Symposium on Theoretical Programming :