Kersten, T. (1998). Verifizierende rechnerinvariante Numerikmodule. s.n.].
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. [S.l.: s.n.], 1998.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. s.n.], 1998.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.