أرسل هذا في رسالة قصيرة: Aspect-oriented programming with the e verification language