أرسل هذا في رسالة قصيرة: Theoretical foundations of programming methodology :