توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Danny Schreye. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Danny Schreye. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Berlín, Alemania: Springer.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Danny Schreye. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Springer.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.