توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Elvira Albert. Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Elvira Albert. Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Berlín, Alemania: Springer.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Elvira Albert. Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.