นุชรี ลาภจิตรกุศล. 2543. การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด. ภาควิชาวิศวกรรมคอมพิวเตอร์, จุฬาลงกรณ์มหาวิทยาลัย;
นุชรี ลาภจิตรกุศล. (2543) การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด . จุฬาลงกรณ์มหาวิทยาลัย/กรุงเทพฯ.
นุชรี ลาภจิตรกุศล. การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด. . กรุงเทพฯ:จุฬาลงกรณ์มหาวิทยาลัย, 2543.
นุชรี ลาภจิตรกุศล. (2543) การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด . จุฬาลงกรณ์มหาวิทยาลัย/กรุงเทพฯ.