أرسل هذا في رسالة قصيرة: Understanding concurrent systems / A.W. Roscoe.