Waldén, M. (1998). Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science.
Citação norma ChicagoWaldén, Marina. Formal Reasoning About Distributed Algorithms. Turku: Turku Centre for Computer Science, 1998.
Citação norma MLAWaldén, Marina. Formal Reasoning About Distributed Algorithms. Turku Centre for Computer Science, 1998.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.