คเชนทร์ บุญญานิชยกุล. 2539. ระบบพิสูจน์ลายเซนต์แบบไดนามิคส์บนเครื่องไมโครคอมพิวเตอร์. ภาควิชาวิศวกรรมไฟฟ้า, สถาบันเทคโนโลยีพระจอมเกล้าพระนครเหนือ;
คเชนทร์ บุญญานิชยกุล. (2539) ระบบพิสูจน์ลายเซนต์แบบไดนามิคส์บนเครื่องไมโครคอมพิวเตอร์ . สถาบันเทคโนโลยีพระจอมเกล้าพระนครเหนือ/กรุงเทพฯ.
คเชนทร์ บุญญานิชยกุล. ระบบพิสูจน์ลายเซนต์แบบไดนามิคส์บนเครื่องไมโครคอมพิวเตอร์. . กรุงเทพฯ:สถาบันเทคโนโลยีพระจอมเกล้าพระนครเหนือ, 2539.
คเชนทร์ บุญญานิชยกุล. (2539) ระบบพิสูจน์ลายเซนต์แบบไดนามิคส์บนเครื่องไมโครคอมพิวเตอร์ . สถาบันเทคโนโลยีพระจอมเกล้าพระนครเหนือ/กรุงเทพฯ.