Bjrner, D., & Jones, C. B. (1982). Formal specification and software development. Prentice/Hall International.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Bjrner, D., و C. B. Jones. Formal Specification and Software Development. Englewood Cliffs, N.J.: Prentice/Hall International, 1982.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Bjrner, D., و C. B. Jones. Formal Specification and Software Development. Prentice/Hall International, 1982.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.