祝宇，董冠涛，刘伟编著. (2019). 航天型号可编程逻辑器件软件验证技术及实践. 中国宇航出版社.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)祝宇，董冠涛，刘伟编著. 航天型号可编程逻辑器件软件验证技术及实践. 中国宇航出版社, 2019.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)祝宇，董冠涛，刘伟编著. 航天型号可编程逻辑器件软件验证技术及实践. 中国宇航出版社, 2019.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.