Beckert. (2013). Formal Methods for Components and Objects (1.). Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Beckert. Formal Methods for Components and Objects. 1. Springer Berlin Heidelberg, 2013.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Beckert. Formal Methods for Components and Objects. 1. Springer Berlin Heidelberg, 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.