أرسل هذا في رسالة قصيرة: Specification and transformation of programs :