أرسل هذا في رسالة قصيرة: Formal description of programming concepts :