Hansson, H. A., & Fredlund, L. (1994). Time and probability in formal design of distributed systems. Elsevier.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Hansson, Hans A., و Lars-åke Fredlund. Time and Probability in Formal Design of Distributed Systems. Amsterdam ; New York: Elsevier, 1994.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Hansson, Hans A., و Lars-åke Fredlund. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.