Waldén, M. (1998). Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science.
Chicago-referens (17:e uppl.)Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku: Turku Centre for Computer Science, 1998.
MLA-referens (8:e uppl.)Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science, 1998.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.