ประพนธ์ บวรภราดร. 2545. การทวนสอบรูปนัย ในระดับถ่ายโอนเรจิสเตอร์ของหน่วยประมวลผล โดยการตรวจสอบแบบจำลองเชิงสัญลักษณ์. สาขาวิชาวิศวกรรมคอมพิวเตอร์, จุฬาลงกรณ์มหาวิทยาลัย;
ประพนธ์ บวรภราดร. (2545) การทวนสอบรูปนัย ในระดับถ่ายโอนเรจิสเตอร์ของหน่วยประมวลผล โดยการตรวจสอบแบบจำลองเชิงสัญลักษณ์ . จุฬาลงกรณ์มหาวิทยาลัย/กรุงเทพฯ.
ประพนธ์ บวรภราดร. การทวนสอบรูปนัย ในระดับถ่ายโอนเรจิสเตอร์ของหน่วยประมวลผล โดยการตรวจสอบแบบจำลองเชิงสัญลักษณ์. . กรุงเทพฯ:จุฬาลงกรณ์มหาวิทยาลัย, 2545.
ประพนธ์ บวรภราดร. (2545) การทวนสอบรูปนัย ในระดับถ่ายโอนเรจิสเตอร์ของหน่วยประมวลผล โดยการตรวจสอบแบบจำลองเชิงสัญลักษณ์ . จุฬาลงกรณ์มหาวิทยาลัย/กรุงเทพฯ.