Waldén, M. (1998). Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science.
Čikaški stil citiranja (17. izdanje)Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku: Turku Centre for Computer Science, 1998.
MLA način citiranja (8. izdanje)Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science, 1998.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.