أرسل هذا في رسالة قصيرة: Logic + control: On program construction and verification