أرسل هذا في رسالة قصيرة: Logics of programs and their applications :