Tasks in Modular Proofs of Concurrent Algorithmsكتاب يحمل اسم