Waldén, M. (1998). Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science.
Lua i Stíl Chicago (17ú heag.)Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku: Turku Centre for Computer Science, 1998.
Lua MLA (8ú heag.)Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science, 1998.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.