Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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