APA-viite (7. p.)

Waldén, M. (1998). Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science.

Chicago-viite (17. p.)

Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku: Turku Centre for Computer Science, 1998.

MLA-viite (8. p.)

Waldén, Marina. Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science, 1998.