Bjørner, D., & Oest, O. N. (1980). Towards a formal description of Ada. Springer-Verlag.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Bjørner, D., و O. N. Oest. Towards a Formal Description of Ada. Berlin ; New York: Springer-Verlag, 1980.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Bjørner, D., و O. N. Oest. Towards a Formal Description of Ada. Springer-Verlag, 1980.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.