Drechsler, R. (2009). Test pattern generation using Boolean proof engines. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Drechsler, Rolf. Test Pattern Generation Using Boolean Proof Engines. Dordrecht ; London: Springer, 2009.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Drechsler, Rolf. Test Pattern Generation Using Boolean Proof Engines. Springer, 2009.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.