Hansson, H. A., & Fredlund, L. (1994). Time and probability in formal design of distributed systems. Elsevier.
Παραπομπή σε μορφή Chicago (17η εκδ.)Hansson, Hans A., και Lars-åke Fredlund. Time and Probability in Formal Design of Distributed Systems. Amsterdam ; New York: Elsevier, 1994.
Παραπομπή σε μορφή MLA (8th εκδ.)Hansson, Hans A., και Lars-åke Fredlund. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.