Hansson, H. A., & Fredlund, L. (1994). Time and probability in formal design of distributed systems. Elsevier.
Lua i Stíl Chicago (17ú heag.)Hansson, Hans A., agus Lars-åke Fredlund. Time and Probability in Formal Design of Distributed Systems. Amsterdam ; New York: Elsevier, 1994.
Lua MLA (8ú heag.)Hansson, Hans A., agus Lars-åke Fredlund. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.