توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Roth, M., Forster, Y., & Kunze, F. (2020). The weak call-by-value lambda-calculus is reasonable for both time and space. Association for Computing Machinery.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Roth, M., Y. Forster, و F. Kunze. The Weak Call-by-value Lambda-calculus Is Reasonable for Both Time and Space. Association for Computing Machinery, 2020.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Roth, M., et al. The Weak Call-by-value Lambda-calculus Is Reasonable for Both Time and Space. Association for Computing Machinery, 2020.