أرسل هذا في رسالة قصيرة: From Predicates to Programs: The Semantics of a Method Language