أرسل هذا في رسالة قصيرة: Computer logic, testing, and verification / J. Paul Roth.