أرسل هذا في رسالة قصيرة: Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan.