Almeida, J. B. Rigorous Software Development: An Introduction to Program Verification.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.