أرسل هذا في رسالة قصيرة: Abstraction, specification and implementation techniques :