Waldén, M. (1998). Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku: Turku Centre for Computer Science, 1998.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science, 1998.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.