Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., & Lima Filho, E. (2017). Verifying digital systems with MATLAB. Association for Computing Machinery.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Chaves, L., I. Bessa, L. Cordeiro, D. Kroening, و E. Lima Filho. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Chaves, L., et al. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.