توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Broy, M., & Pepper, P. (Jan 1981). Program Development as a Formal Activity. IEEE Transactions on Software Engineering. https://doi.org/10.1109/TSE.1981.230815
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Broy, M., و P. Pepper. "Program Development as a Formal Activity." IEEE Transactions on Software Engineering Jan 1981. https://doi.org/10.1109/TSE.1981.230815.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Broy, M., و P. Pepper. "Program Development as a Formal Activity." IEEE Transactions on Software Engineering, Jan 1981, https://doi.org/10.1109/TSE.1981.230815.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.