祝宇，董冠涛，刘伟编著. (2019). 航天型号可编程逻辑器件软件验证技术及实践. 中国宇航出版社.
Παραπομπή σε μορφή Chicago (17η εκδ.)祝宇，董冠涛，刘伟编著. 航天型号可编程逻辑器件软件验证技术及实践. 中国宇航出版社, 2019.
Παραπομπή σε μορφή MLA (8th εκδ.)祝宇，董冠涛，刘伟编著. 航天型号可编程逻辑器件软件验证技术及实践. 中国宇航出版社, 2019.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.