أرسل هذا في رسالة قصيرة: Formal specification and verification of digital systems / George Milne.