APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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